Изменения
→Атом
'''Цель''' в свою очередь - это набор '''атомов''', перечисленных через запятую
===Атом===
Атомы бывают двух типов: реляционные и арифметические
====Реляционный====
Аналог конструкции условия принадлежности из исчисления доменов.
