Bonjour je cherche à démontrer que A inclus dans B équivaut à A union B = B.
Je propose :
On suppose que A inclus dans B est vraie , montrons que A union B inclus dans et que B inclus dans A union B. Soit B inclus dans A union B donc A union B inclus dans B soit x appartient à A union B si x appartient à B donc A inclus dans B équivaut à A union B = B.
-----