theorem :: FUZZY_7:2

for a, b, c, d being Real holds [.a,d.] \ [.b,c.] c= [.a,b.[ \/ ].c,d.]