Assertion: difference algebra | /r/HasProperty | field
Facets:
Source sentences:
text: A difference algebra which is a field is called a difference field extension.