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

• réflexivité: a = a,
• symétrie: si a = b alors b = a,
• transitivité: if a = b et b = c alors a = c, où c est une troisième entité,
• si a = b et ℛ{u} est un énoncé quelconque concernant l'entité u, alors ℛ{a} est vrai si et seulement si ℛ{b} est vrai

Note 1 à l'article: L'égalité de deux entités a et b est notée a = b et exprimée par «a est égal à b».