Naive Set Theory Definition