Вопрос по информатике:

Пусть есть высказывание А есть: «Множество А есть подмножество множества В », высказывание В есть: «Все элементы множества А являются элементами множества В». Тогда результатом какай операции над высказываниями А и В будет высказывание «Множество А есть подмножество множества В тогда и только тогда, когда все элементы множества А являются элементами множества В» ?