FiniteSets should hold Sets, otherwise {1,2} != {2,1}