PanLinx
čeština
ces-000
uzavřený ke konečným průnikům
English
eng-000
finite intersection property
PanLex