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

@T1 x @T2

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

ex("ob",[])

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

var(ex("ob",[])),w("x"),var(ex("ob",[]))

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

Произведение областей

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

prod_ob