Minimal_Element_of_an_Ordinal