IEVref:102-01-01ID:
Language:enStatus: Standard
Term: equality
Synonym1:
Synonym2:
Synonym3:
Symbol:
Definition: relation between two entities a and b having the following properties:

  • reflexivity: a = a,
  • symmetry: if a = b then b = a,
  • transitivity: if a = b and b = c then a = c, where c is a third entity,
  • if a = b and ℛ{u} is any statement involving the entity u, then ℛ{a} is true if and only if ℛ{b} is true

Note 1 to entry: The equality of two entities a and b is denoted by a = b and expressed by "a is equal to b".


Publication date:2008-08
Source
Replaces:
Internal notes:2017-02-20: Editorial revisions in accordance with the information provided in C00019 (IEV 102) - evaluation. JGO
CO remarks:
TC/SC remarks:
VT remarks:
Domain1:
Domain2:
Domain3:
Domain4:
Domain5: