Assertion: algebra's property | /r/HasProperty | no finite spanning set
Facets:
Source sentences:
text: Most properties resulting from the Steinitz exchange lemma remain true when there is no finite spanning set, but their proofs in the infinite case generally require the axiom of choice or a weaker form of it, such as the ultrafilter lemma.