NF and NFU include a "set of everything, " relative to which every set has a complement.
NF e NFU inclúen un "conxunto de todo", relativo a que cada conxunto ten un complementario.