Assertion: identity | /r/DefinedAs | a formula of the form
Facets:
value: in mathematical logic
type: OTHER
value: in universal algebra
type: LOCATION
Source sentences:
text: In mathematical logic and in universal algebra, an identity is defined as a formula of the form