Порождающая процедура содержит два правила:
Описание характеристического свойства элементов множества N: N={x: x - целое положительное число}.
Универсальное множество U не определено, поэтому, строго говоря, операции дополнения над множествами A и B не могут быть выполнены. Дополним условие.
Пусть U = {a,b,c,d,e,f,g,h}, тогда ┐A = U\A = {e,f,g,h}, ┐B = {a,b}. A\B={e,f,g,h}.