Assertion: cut | /r/HasProperty | x | x ∈ q
Facets:
Source sentences:
text: A} (please refer to the link above for the precise definition of how the multiplication of cuts are defined), is 2 {\displaystyle 2} (note that rigorously speaking this is a cut { x | x ∈ Q , x < 2 } {\displaystyle \{x\ |\ x\in \mathbb {Q} ,x<2\}} ).