set theory in programming 8381532