Molecular set theory