Запись суждений о множествах с помощью исчисления предикатов.

Обозначим А(х) предикат, истинный, если х А, В(х) предикат, истинный, если х В.

АВ записывается как х (А(х) В(х))

АВ записывается как х(А(х)В(х))

АВ=В записывается как х(А(х) В(х)В(х))