finding
active
finding:every-finite-non-empty-poset-has-maximal-elements

Every finite non-empty poset has maximal elements.

Established property used to characterize down-sets and to relate elements to maximal upper bounds.

Source paper

extracted_from
Ordered Sets and Complete Lattices: A Primer for Computer Science
(2002) · Priestley, Hilary A.

Neighborhood — ranked by edge-count

Concepts (1)

concept

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.