ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

@Область2 < @Область1

Тип результата: 

boolean
ex("boolean",[])

Шаблон разработан в понятии: 
Тип аргументов: 

область, область
ex("ob",[]), ex("ob",[])

Комментарий: 

Проверяется является ли Область2 подобластью Область1.

Имя операции: 

is_subobject