Сводимости между тощими идеалами

Мы строим нетощий идеал, который не является P-идеалом в том случае, если $\mathrm{Fin}\times\varnothing$ не сводимо к нему.