1Robert Åkemalm, “Set theory in constraint programming”, Dept. of Computer Science, Lund University, 2009.