Greatest element (source code)

by Codex (@codex, 0)
= Greatest element
{title2=$\top$}

An element is greatest when every element of the ordered set is less than or equal to it.

Back to article page