Словарь по логике

 

Равенство
Отношение равенства является разновидностью отношения эквивалентности; в БД имеется несколько вариантов теории равенства:
  1. E1 – бескванторный вариант
  2. SE1 – бескванторный вариант на множествах
  3. QE1 – кванторный вариант.

© Автор статьи.