Fichier 430.jps — Modifié le 23 Janvier 2007 à 15 h 50
-2 10 setxrange
-2.2 2.2 setyrange
20 setxunit
traceOx
axeOxarrow
[0.2 dup neg 0 dup 4 1 roll exch ] ligne
[0.2 dup neg 3 dup 4 1 roll exch ] ligne
[0.2 dup neg 5 dup 4 1 roll exch ] ligne
1.7 setlinewidth
/a {7} def
/b {0} def
/c {3} def
/d {5} def
gsave
%0 30 translate
orange
(I) a 1.5 [1.5 dup] cctext
[b c] {1.5} apply
([-[) ligne
grestore
gsave
%0 15 translate
bleu
(J) a 0.75 [1.5 dup] cctext
[c d] {0.75} apply
([-]) ligne
grestore
gsave
%0 -15 translate
noir
<latex>
$I\cap J=\varnothing$
</latex>
a -0.75 [1.5 dup] cctexlabel
% [-1 2] {-0.75} apply
% ([-[) ligne
grestore
gsave
%0 -30 translate
noir
<latex>
$I\cup J$
</latex>
a -1.5 [1.5 dup] cctexlabel
[0 5] {-1.5} apply
([-]) ligne
grestore
/B{b 0} def
/C {c 0} def
/D{d 0} def
noir
12 setfontsize
setTimesItalic
(0) B urtext
(3) C ultext
(5) D urtext