add 'CNF, GNF, Abschlusseigenschaften