Normalized naive set theory.