Помимо булевых операций, к понятиям часто применяются такие операции, как
обобщение и ограничение. Они основаны на отношении типа «родвид».
Из двух непустых понятий одно считается родовым, а другое видовым, если второе находится в отношении подчинения к первому. Это отношение на формальном языке обозначается символом «⊂».
Например, из двух понятий αА(α)«европейский город» и αВ(α)«европейская сто-
лица» первое является родовым, а второе – видовым. То есть, В⊂ А.Интересно, что содержания этих понятий находятся в обратном отношении, а именно, содержание αА(α)
является частью содержания понятия αВ(α). Этот факт известен в логике как закон обрат-
ного отношения.
Закон обратного отношения: объем понятия αА(α)составляет часть объема поня-
тия αВ(α),если и только если содержание понятия αВ(α)является частью содержания понятия αА(α).На формальном языке: