Zorn's lemma

[[concept]]

Zorn's Lemma

If every chain in a nonempty, partially ordered set $E$ has an upper bound, then $E$ contains a maximal element.

Without Proof

NOTE

• We take this as an axiom of set theory and it can be used to prove the Axiom of Choice
• We can also show that every vector space has a Hamel basis

Mentions

Mentions

TABLE file.mday as "Last Modified"
FROM [[]]
 
FLATTEN choice(contains(artist, this.file.link), 1, "") + choice(contains(author, this.file.link), 1, "") + choice(contains(director, this.file.link), 1, "") + choice(contains(source, this.file.link), 1, "") as direct_source
 
WHERE !direct_source
SORT file.mday ASC
SORT file.name ASC

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>
}