power sets discrete math