least element. Well Ordering principle