naive set theory examples