Predicatively closed class

математика предикативно замкнутый класс