Begynnelsen er et begrep fra mengdeteori og ordensteori.
En klasse kalles begynnelsen på den bestilte klassen hvis . T{\ displaystyle T} (K,<){\ displaystyle (K, <)}∀x∈K ∀b∈T:(x<b⇒x∈T){\ displaystyle \ forall x \ i K \ \ forall b \ i T: (x <b \ Rightarrow x \ i T)}
Hver bestilt klasse er delt inn i to usammenhengende underklasser :, hvor . K{\ displaystyle K}K=T∪(K∖T){\ displaystyle K = T \ cup (K \ setminus T)}∀x∈T ∀y∈(K∖T):¬(y<x){\ displaystyle \ forall x \ i T \ \ forall y \ in (K \ setminus T): \ neg (y <x)}
Over mengde
