NF and NFU include a "set of everything, " relative to which every set has a complement.
NF ja NFU sisältävät myös ”kaiken joukon”, johon nähden jokaisella joukolla on komplementti.