Система понятий
В символьном моделировании произвольных объектов (s-моделировании) определение изучаемого объекта имеет вид:
<определение объекта> ≈ <<s-модель объекта>, <описание области применимости s-модели объекта>>.
<Система Sc понятий> ≈ <<множество SSc понятий, на котором определяется изучаемый объект>, <семейство rel(SSc) связей, заданных на SSc>>.
О <Система tr понятий треугольник> ≈ <<множество Str понятий>, <Семейство связей rel(Str), заданных на Str>>
В tr элементами множества Str служат стороны треугольника (a, b, c), периметр p и др. Семейство связей rel(Str) включает связь p = a + b + c и др.
Чтобы определить новое понятие (не являющееся понятием-аксиомой) необходимо указать его связь с некоторой уже существующей системой понятий.
О Система trπ/2 понятий прямоугольный треугольник может быть определена как специализация типа tr:
trπ/2 ≈ tr [::angle = π/2].
Специализация типа определена путём добавления связи angle = π/2 (которая выделяет из множества всех треугольников подмножество тех, у которых величина одного из углов равна π/2). О