Category:Infimum is not necessarily Smallest Element