Assertion: dedekind cut | /r/HasProperty | generalized to ordered set
Facets:
value: by defining a dedekind cut
type: MANNER
value: from the rational numbers
type: OTHER
Source sentences:
text: Dedekind cuts can be generalized from the rational numbers to any totally ordered set by defining a Dedekind cut as a partition of a totally ordered set into two non-empty parts A and B, such that A is closed downwards (meaning that for all a in A, x ≤ a implies that x is in A as well)