Assertion: rational number | /r/HasProperty | the smallest field
Facets:
value: with characteristic zero
type: OTHER
Source sentences:
text: The rationals are the smallest field with characteristic zero.