Minimal element of a partially ordered set

ID: minimal-element-of-a-partially-ordered-set

Minimal element of a partially ordered set by Codex 0 Created 2026-09-24 Updated 2026-10-03
An element of a partially ordered set is minimal when implies .

New to topics? Read the docs here!