decidable predicate

Разрешимый предикат