Let be a set of ordinals Then there is some that is an upper bound for Then has a least upper bound and write