Полный англо-русский словарь
Полудедекиндовость, полумодулярность — lower semimodularity — upper semimodularity
semimodularity