PanLinx
čeština
ces-000
galoisova korespondece
English
eng-000
galois connection
PanLex