input geometriesyr16;

figure(0,0,10u,10u);%A
pair O,O',A',B',A,B;
path cc,cd;
picture fond;
O=u*(3,4);
O'=u*(6,5);
cc=cercles(O,2.5u);
cd=cercles(O',3.5u);
A=cc intersectionpoint cd;
B=symetrie(A,O,O');
A'=pointarc(cc,120);
B'=pointarc(cd,50);
fond=image(
  trace feuillet;
  trace A'--(A' shifted(u*(-0.5,0.5)))--(A' shifted(u*(-0.5,1)))--(A' shifted(u*(-1,1)))--(A' shifted(u*(-1,0.5)))--(A' shifted(u*(-0.5,0.5)))--cycle;
  label(btex $A$ etex,iso((A' shifted(u*(-0.5,0.5))),(A' shifted(u*(-1,1)))));
  trace B'--(B' shifted(u*(0.5,0.5)))--(B' shifted(u*(0.5,1)))--(B' shifted(u*(1,1)))--(B' shifted(u*(1,0.5)))--(B' shifted(u*(0.5,0.5)))--cycle;
  label(btex $B$ etex,iso((B' shifted(u*(0.5,0.5))),(B' shifted(u*(1,1)))));
  trace u*(4,0.25)--u*(6,0.25)--u*(6,0.75)--u*(4,0.75)--cycle;
  trace cc;
  trace cd;
  );
trace hachurage(cc,60,0.25,0) withcolor orange;
trace fond;
label(btex $A$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%Abar
draw hachurage(feuillet,60,0.25,0) withcolor orange;
remplis cc withcolor blanc;
trace fond;
label(btex $\bar A$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);
trace hachurage(cd,60,0.25,0) withcolor orange;
trace fond;
label(btex $B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%Bbar
draw hachurage(feuillet,60,0.25,0) withcolor orange;
remplis cd withcolor blanc;
trace fond;
label(btex $\bar B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%réunion
trace fond;
label(btex $A\cup B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
trace hachurage(A--arccercle(A,B,O)--B--arccercle(B,A,O')--cycle,60,0.25,0) withcolor orange;
fin;

figure(0,0,10u,10u);%reunionbar
trace hachurage(feuillet,60,0.25,0) withcolor orange;
remplis (A--arccercle(A,B,O)--B--arccercle(B,A,O')--cycle) withcolor blanc;
trace fond;
label(btex $\overline{A\cup B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%intersection
trace fond;
label(btex $A\cap B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
trace hachurage(A--arccercle(A,B,O')--B--arccercle(B,A,O)--cycle,60,0.25,0) withcolor orange;
fin;

figure(0,0,10u,10u);%intersectionbar
trace hachurage(feuillet,60,0.25,0) withcolor orange;
remplis (A--arccercle(A,B,O')--B--arccercle(B,A,O)--cycle) withcolor blanc;
trace fond;
label(btex $\overline{A\cap B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%B-A
trace hachurage(B--arccercle(B,A,O')--reverse(arccercle(B,A,O))--cycle,60,0.25,0) withcolor orange;
trace fond;
label(btex $B-A$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%(B-A)bar
draw hachurage(feuillet,60,0.25,0) withcolor orange;
remplis (B--arccercle(B,A,O')--reverse(arccercle(B,A,O))--cycle) withcolor blanc;
trace fond;
label(btex $\overline{B-A}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%A-B;
trace hachurage(A--arccercle(A,B,O)--reverse(arccercle(A,B,O'))--cycle,60,0.25,0) withcolor orange;
trace fond;
label(btex $A-B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%(A-B)bar;
trace hachurage(feuillet,60,0.25,0) withcolor orange;
remplis (A--arccercle(A,B,O)--reverse(arccercle(A,B,O'))--cycle) withcolor blanc;
trace fond;
label(btex $\overline{A-B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%A ouexclu B
trace hachurage(A--arccercle(A,B,O)--B--arccercle(B,A,O')--cycle,60,0.25,0) withcolor orange;
remplis (A--arccercle(A,B,O')--B--arccercle(B,A,O)--cycle) withcolor blanc;
trace fond;
label(btex $A\,ou\,B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

figure(0,0,10u,10u);%(A ouexclu B) bar
trace hachurage(feuillet,60,0.25,0) withcolor orange;
remplis (A--arccercle(A,B,O)--reverse(arccercle(A,B,O'))--cycle) withcolor blanc;
remplis (B--arccercle(B,A,O')--reverse(arccercle(B,A,O))--cycle) withcolor blanc;
trace fond;
label(btex $\overline{A\,ou\,B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
fin;

end