Category:Greatest Element is Unique