Проверка включения

Определение. Одно множество считается входящим в другое, если все элементы содержатся во втором, при этом обратное в общем случае может быть несправедливо.

Логические операции проверки вхождения одного множества в другое записываются через операции больше или равно:

if S1<=S2

then

writeln ('S1 входит в S2');

if S1>=S2

then

writeln ('S2 входит в S1');

Задание. Что напечатает оператор Write в каждом из случаев:

1. if Vacation>=Summer

then

writeln ('Правильно')

else

writeln ('Неправильно')

2. if Vacation<=Summer

then

writeln ('Правильно')

else

writeln ('Неправильно')