set theory definitions and notation