На координатной плоскости даны множества А и В

Множества А и В являются треугольниками, а множество C =A∪B - это
множество точек плоскости, лежащих в красном и синем треугольнике.
Точка на плоскости - это пара чисел (х,у), поэтому предикаты будут двухместными.
Уравнения сторон красного треугольника, очевидно, есть: x=1, x ϵ[3;5],
y=5, x ϵ1;3 . Находим уравнение наклонной стороны.
Уравнение прямой, проходящей через точки (х1,у1) и (х2,у2), выражается формулой x-x1x2-x1=y-y1y2-y1 . У нас сейчас х1=1, у1=3, х2=3, у2=5. Имеем: x-13-1=y-35-3 , x-12=y-32 , откуда получаем: y=x+2.
Находим теперь уравнения сторон синего треугольника.
y=1, x ϵ[2;5], x=5, y ϵ1;4