School Mathematics Project covered secondary school, and was very much part of the New Maths project. And yes, we did cover set theory in primary school.