Доказательство равенств множеств: основы дискретной математики