supremum, infimum and completeness