Greatest Element is Supremum/Examples