Справочник по силлогистикам
Собственная подтеория
Понятие, обратное понятию собственное расширение: T
1
– собственная подтеория T
2
(T
1
T
2
) и L(T
1
)=L(T
2
)
(T1
T2) и L(T1)=L(T2) (T1T2) и L(T1)=L(T2)