Clust/Naive set theory