Smallest Element is Infimum/Examples