partial order

[[concept]]
Partial Order

A partial order on a set E is a relation ⪯ E such that

  1. for all e∈E, e⪯e
  2. for all e,f∈E, if e⪯f and f⪰e then e=f
  3. for all e,f,g∈E, if e⪯f and f⪯g, then e⪯g

References

See Also

Mentions

Mentions

File Last Modified
chain 2025-10-02
every vector space has a hamel basis 2025-10-02
Functional Analysis Lecture 4 2025-10-02
Functional Analysis Lecture 5 2025-10-02
Hahn-Banach theorem 2025-10-02
maximal element 2025-10-02
upper bound 2025-10-02
we can always extend functions on subspaces 2025-10-02
Zorn's lemma 2025-10-02 

const { dateTime } = await cJS()

return function View() {
	const file = dc.useCurrentFile();
	return <p class="dv-modified">Created {dateTime.getCreated(file)}     ֍     Last Modified {dateTime.getLastMod(file)}</p>
}