Halmazműveletek - különbség azonosság bizonyítása

Halmazok különbségére vonatkozó azonosságok bizonyítása a három formula megfelelő satírozással történő meghatározásával, majd a satírozott részek összevetésével.