(Untitled) | (Untitled) | (Untitled) | (Untitled) | (Untitled) | Examples |

IEVref: | 102-01-01 | ID: | |

Language: | en | Status: 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 | ||

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: |

- 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*".