Система понятий

В символьном моделировании произвольных объектов (s-моделировании) определение изучаемого объекта имеет вид:
<определение объекта> ≈ <<s-модель объекта>, <описание области применимости s-модели объекта>>.
<Система Sc понятий> ≈ <<множество S^Sc понятий, на котором определяется изучаемый объект>, <семейство rel(S^Sc) связей, заданных на S^Sc>>.

О <Система tr понятий треугольник> ≈ <<множество S^tr понятий>, <Семейство связей rel(S^tr), заданных на S^tr>>

В tr элементами множества S^tr служат стороны треугольника (a, b, c), периметр p и др. Семейство связей rel(S^tr) включает связь p = a + b + c и др.

Чтобы определить новое понятие (не являющееся понятием-аксиомой) необходимо указать его связь с некоторой уже существующей системой понятий.

О Система tr^π/2 понятий прямоугольный треугольник может быть определена как специализация типа tr:

tr^π/2 ≈ tr [::angle = π/2].
Специализация типа определена путём добавления связи angle = π/2 (которая выделяет из множества всех треугольников подмножество тех, у которых величина одного из углов равна π/2). О