Исчисление предикатов

На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим). Описать предикаты, определенные на координатной плоскости PA (z) "точка z принадлежит множеству A",

PB (z) "точка z принадлежит множеству B" (границы включены в множества, можно использовать логические операции и сравнение ≤). С использованием полученных предикатов записать в виде формул логики предикатов высказывания о множествах А и В