Assertion: dependent choice | /r/HasProperty | dc
Facets:
Source sentences:
text: One example is the axiom of dependent choice (DC).