Дискретная математика!!!!

Хе-хе, нарисуй кружочками (научно - диаграммами Венна) твои множества А и В. U, как видно из задачки, это все пространство, подмножества которого и рассматриваешь! А с чертой сверху - дополнение множества А, то есть все, что останется от U, если вычеркнуть А.

Так вот, твое доказательство состоит из двух частей - докажи пока -> направление, потом - <- направление!

->: А содержится в В, значит дополнение А, объединенное с В, будет не меньше дополнения А, объединенное с А, а последнее, конечно, есть все пространство, то есть U. Так как немыслимо получить что-то большее U, значит -> направление доказано!

<- : допустим, А не входит в В, то есть есть точка в А снаружи В. Тогда дополнение А, объединенное с В, не будет содержать эту точку по понятным причинам - сия точка не в дополнении А, так как она (точка) в А, к тому же эта точка и не в В (так как мы допустили, что А не входит в В) . Значит пришли к выводу: точка наша не лежит в U, а последнее у нас - ВСЕ пространство, содержащее все точки на свете! Итог - у нас противоречие с тем допущением, что А не лежит в В. Направление доказано!

ЧТД (что и требовалось доказать)