Beweisarchiv: Mengenlehre: Mengenoperation