Clust/Basic set theory