2 ms·
You either need a disjoint union there (or equivalently multi-sets) or the assumption that S and S' are disjoint.
by rocqua 8y ago
You either need a disjoint union there (or equivalently multi-sets) or the assumption that S and S' are disjoint.