On Tue, Aug 11, 2009 at 12:47 AM, Kip Murray<[email protected]> wrote: > My main motives are a desire to have a unique empty set (as in set theory) and > not to allow sets which are elements of themselves (they lead to a famous > paradox in set theory, and might lead to infinite loops in J -- I'm not sure > of > that).
I think you get this with most enumerated representation of sets in J. For example, if you represent a set as a list of boxes where each box contains an element of the set, the empty set is unique (it would be the empty list) and the set can not contain itself (since a box can not contain the list which contains the box). FYI, -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
