PanLinx
русский
rus-000
пучок множеств
English
eng-000
sheaf of sets
PanLex