由于此格中的运算∩就是集合的交运算，故与（S，∩，·）等价的半序格的部份序就是集合之间包含关系 。
对任意A∈S，B∈S，C∈S，如果A B，
任取u∈A·（C∩B），于是，u = a·d，其中d∈C∩B，a∈A，而A A·C，故
u=a·d∈（A·C）∩B，即
A·（C∩B） （A·C）∩B。
任取u∈（A·C）∩B，于是，u∈B，u∈A·C。令u = a·d（其中a∈A，d∈C），于是，d = a-1·u。因为a-1∈A B，u∈B，故a-1·u∈B，即d∈B。故d∈C∩B。因此，u = a·d∈A·（C∩B），即
（A·C）∩B A·（C∩B），
所以有
A·（C∩B）=（A·C）∩B
由定义知，（S，∩，·）是模格。
定理8.4.3 格（L，≤）是模格的充分必要条件是：对任意a，b，c∈L，如果
a≤b，a×c=b×c，a c=b c
则必有a=b。
证明：必要性。若格（L，≤）是模格，则对任意a，b，c∈L，如果
a≤b，a×c=b×c，a c=b c，
则
a = a （a×c）= a （b×c）
= b×（a c）= b×（b c）= b
充分性。任取a，b，c∈L，且a≤b。
因为（a （b×c）） c = a （（b×c） c）
= a c
又因为a≤b，所以a≤b×（a c），故
a c≤（b×（a c）） c
≤（a c） c = a c
所以，（b×（a c）） c = a c。
因此
（a （b×c）） c =（b×（a c）） c （1）
亦即，在格（L，≤）中，若a≤b，则有（1）式。根据对偶原理2，对任意a，b，c∈L，若a≥b，则有
（a×（b c））×c =（b （a×c）） ×c
因此，当a≤b，即b≥a时，有
（b×（a c））×c =（a （b×c）） ×c （2）
由格的分配不等式知，当a≤b时，有
a （b×c）≤b×（a c） （3）
由（1），（2），（3）式及此定理的条件，得
a （b×c）= b×（a c）
故（L，≤）是模格。
