Assertion: dedekind cut | /r/HasProperty | a partition of the rationals
Facets:
Source sentences:
text: A Dedekind cut is a partition of the rationals Q {