Пусть U – некоторое множество, P(x),Q(x) – предикаты на множестве U и подмножества A,B множества U заданы следующим образом: A={x∈U ┤| P(x)};B={x∈U | Q(x)} (здесь вертикальная читается «таких что»). Как задаётся объединение подмножеств A,B?