「はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化」 半環というより、より具体的に monotone DNF とか言った方が適切では。 元になったLBAC(lattice-based access control)もこれも両方とも束であり半環だとおもうので。