MDLUL/kleinstes (Ordnung)

Start=kleinstes (Ordnung)

MDLUL/kleinstes (Ordnung)

Ziel=Ordnungstheorie/Geordnete Menge/Kleinstes Element/Definition