For example, a set may be declared to be of type Nat only when its internal structure conforms with a particular list of requirements.
Zum Beispiel kann eine Menge nur als Typ Nat deklariert werden, wenn seine Interne Struktur mit einer bestimmten Liste von Anforderungen konform ist.