>>633 確認。(-∞,a]∩((-∞,b]∪(-∞,c])
＝(-∞,a]∩(-∞,max(b,c))＝(-∞,min(a,max(b,c))]。
((-∞,a]∩(-∞,b])∪((-∞,a]∩(-∞,c]))
＝(-∞,min(a,b)]∪(-∞,min(a,c)]＝(-∞,max(min(a,b),min(a,c))]。
3番目の式の証明はどうやるの？