множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике - подразумеваемая область возможных значений предметных переменных логического языка.