constructive subset

Мат. конструктивное подмножество