Преднорма

то же, что индивидная переменная. См. Также Предикатов исчисление. ..

- язык, являющийся предметом изучения. При формализации какой-либо содержательной теории различают два языка. Один - это язык формализуемой теории, или П. Я., задаваемый правилами построения выражений П. Я. И семантическими правилами, определяющими, что обозначают его выражения или какие они выражают суждения. Другой - это язык, на к-ром формулируются упомянутые выше синтаксические и семантич. Правила. Этот язык наз. метаязыком. Обычно метаязык не формализуется. Однако и его можно формализоват..

квазипорядок, предупорядоченность, квазиупорядоченность, - рефлексивное и транзитивное бинарное отношение на множестве. Если есть П. На множестве М, то отношение и , является отношением эквивалентности на М. При этом П. индуцирует порядок на фактормножестве М/~. Т. С. Фофанова. ..

на топологическом пространстве Xсо значениями в нек-рой категории (напр., категории множеств, групп, модулей, колец, ...) - контрава-риантный функтор F из категории открытых множеств пространства Xи их естественных отображений включения в категорию . В зависимости от Жпредпучок Fназ. Предпучком множеств, групп, модулей, колец,. Отвечающие включениям морфизмы наз. Гомоморфизмами ограничения. Всякий П. Определяет на X пучок (см. Пучков теория). Е. Г. Скляренко. ..