Доказать в обе стороны
`A nn B subseteq C <=> A subseteq (bar(B)) uu C`

Хилая попытка решения:
`AA x in (A nn B) => ((x in A) ^^ (x in B)) subseteq C => ?` дальше вообще не знаю, с какой стороны подойти.