Assertion: tree's element | /r/HasProperty | spanning tree
Facets:
Source sentences:
text: Zorn's lemma, one of many equivalent statements to the axiom of choice, requires that a partial order in which all chains are upper bounded have a maximal element; in the partial order on the trees of the graph, this maximal element must be a spanning tree.