Setup for Inter and Diff; Equal depends on Subset

Reworking Inter and Diff.