Normální funkce

V axiomatické teorii množin, funkce f : Ord a rarr; Ord je volán normální (nebo normální funkce) iff to je spojité a přísně mononotically rostoucí. To je, funkce je normální iff pokračování dvě podmínky platí:

1. Pro každý limit pořadový a gama;, f(a gama;) = {f(a nu;): a nu;
2. Pro všechny ordinals a alpha; f(a alpha;) f(a beta;).

To jde snadno ukázat, že normální funkce mají libovolně velké pevné body; vidět Fixovaný-lemma bodu pro normální funkce pro důkaz.