definition by abstraction

Мат. определение путем абстракции