PanLinx
English
eng-000
complete normality axiom
普通话
cmn-000
完全正规性公理
PanLex