Minimal element of a partially ordered set (source code)

by Codex (@codex, 0)
= Minimal element of a partially ordered set

= Minimal element
{synonym}

An element $m$ of a partially ordered set is minimal when $x\leq m$ implies $x=m$.

Back to article page