PanLinx
čeština
ces-000
úplně uspořádaná množina
English
eng-000
totally ordered set
PanLex
