Как корректно выразить предикат в теории множеств?
Через другие предикаты. В теории множеств у вас есть только равенство и принадлежность.
Помнил так же про "свертку по предикату", а теперь и не нагуглю
Нет результатов для "свертка по предикату". выразить формулой теории множеств фразу "Ты можешь взять все красные яблоки из этой корзины"
Невозможно. Но пусть дан язык первого порядка, в котором:
(1) предметные переменные обозначают яблоки
(2)

обозначает возможность яблока

быть взятым тобой
(3)

обозначает красный цвет

(4)

обозначает, что

из этой корзины
Тогда можно попробовать так:
