Category:Supremum is not necessarily Greatest Element