>>631
(-∞,a]∪(-∞,b]=(-∞,max(a,b)]
(-∞,a]∩(-∞,b]=(-∞,min(a,b)]

(-∞,a]∩((-∞,b]∪(-∞,c])=((-∞,a]∩(-∞,b])∪((-∞,a]∩(-∞,c]))