PanLinx
čeština
ces-000
axiomy oddelovani
English
eng-000
separation axioms
PanLex