Quote (thibaud @ Sat, 27 Sep 2008, 12:31)
peut etre :
si x € B alors x€ A car A u B = A
donc B c A
si x € A alors x € B car A inter B = A
donc A c B
mais bon j'suis pas convaincu
c'est ça, mais si on formule correctement :
quelque soit x € B, x € AuB = A
donc x € B => x € A
c'est à dire B C A
ensuite, quelque soit x € A, x € A inter B, donc x € B
donc x € A => x € B
c'est à dire A C B
et les réciproques sont évidentes.
sinon on peut faire par équivalences :
B c A <=> quelque soit x dans B, x € A <=> A U B = A
mais ça me parait un peu idiot dans ce cas, puisqu'on utilise presque la propriété à démontrer.
This post was edited by Hubbard on Sep 27 2008 05:00am