ПРЕДМЕТНАЯ ОБЛАСТЬ

область объектов, уни­версум рассмотрения (рассуждения), класс (множество) объектов, рассматриваемых в пределах данного кон­текста (понимаемом как отд. рассуждение, фрагмент науч. теории или теория в целом). Напр., в теории чи­сел П. о. служит натуральный ряд (множество целых не­отрицательных чисел), в математич. анализе - множе­ство действит. чисел, в ботанике - множество всех растений (растит. видов), а в исчислении предикатов или логике классов - любая фиксированная непустая область. П. о., называемая также универс. множест­вом, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содер­жащему ни одного предмета рассматриваемого вида и являющемуся ее дополнением. См. ст. Универсум и лит. к ней.