Справочно-информационный комплекс Формальные теории

Подъязык	Собственное расширение языка
LS_a	LS_a,i
LS_a,i	LS_a,e,i
LS	LNS
LS	LU₁S
LS	LU₂S
LU₂S_a,o	LU₂S
LS_a,i	LD₁S_a,i
LS_a,e	LVS
LS_a	LU₂S_a,o
LS_a,e,i	LN¹S_a,e,i
LN¹S_a,e,i	LNS_a,e,i
LNS_a,e,i	LNS
LS	LSsa
LS	LSso
LSsa	LNSsa
LNS	LNSsa
LSso	LNSso
LNS	LNSso
LNS	LDS
LPNS	LPD₂S
LP	LPNS
LP_ncie	LNSP_ncie
LP_ncie	LP
LS_a,e,i	LS
LD₁S_a,i	LE₁D₁S_a,i
LSE₁	LE₁D₁S_a,i
LP	LP_ncie
LP	LP_f
LS_a	LS_a,e
LS_a,e	LS_a,e,i
LSl	LSl_a,i
LSl_a,i	LSso
LS_a	LNS_a
LNS_a	LNS_a,e,i
LDS	LD₂S
LD₁S_a,i	LD₂S
LD₂S	LPD₂S
LP	LPM
LP	LP_+tf
LP_f	LP_+tf
LSO	LSE₁Ons
LSE₁	LSE₁Ons
LSO	LSD₁O
LSO	LDO
LNSP_ncie	LPNS
LNS	LPNS
LS_a,i	LSl_a,i
LSOs	LSE₁Os
LSE₁Os	LSE₁O
LSE₁Ons	LSE₁O
LSE₁	LSE₁Os
LE₁	LE₁Ords
LOrds	LE₁Ords
LQE₁	LQE₁Ords
LQOrds	LQE₁Ords
LQE₁	LBM

Порядок на языках (по включению множеств ППФ)