Most basic set theory.