PanLinx
hrvatski
hrv-000
pravi podskup
English
eng-000
proper subset
PanLex