Talk:Set Difference is Set

Unfortunately, this references Set Difference as Intersection with Relative Complement, which would implicitly assume that is was a set. But this rule holds for classes, too. --Andrew Salmon 21:14, 7 August 2012 (UTC)


 * In principle I think you could reason from the direct definition of 'set difference'; I think this is preferable in any case since we are dealing with the very important basics of reasoning with classes here. It won't be too hard, I think. Maybe put some 'explain' or 'WIP' tag for now so that we don't forget. I suggest postponing the problem until after we are geared up for a canonicalisation of this whole area. --Lord_Farin 21:21, 7 August 2012 (UTC)