semimodularity

1

полудедекиндовость

2

полумодулярность