I think the title pretty much covers it

  • 3
    $\begingroup$ I think we need not create a new type name set,just use function and operator such Union ,Intersection etc. act on the list $\endgroup$ – cvgmt Oct 13 '20 at 2:23
  • $\begingroup$ Look in the help under "guide/OperationsOnSets" $\endgroup$ – Daniel Huber Oct 13 '20 at 10:23
  • $\begingroup$ And the proof that {1,2}={1,2} can be found where in the help guide? $\endgroup$ – Veritas Lux Oct 13 '20 at 15:43

To add to the comments, you can easily define your own container for sets like this:

SetAttributes[set, Orderless];
s : set[___] /; ! DuplicateFreeQ[Unevaluated @ s] := DeleteDuplicates[Unevaluated @ s];

set[1, 2] === set[2, 1] === set[1, 1, 2]


Just be aware that the built-in function Set has nothing to do with set theory.

  • $\begingroup$ Their needs to be a closer parallel to the axiom of extensionality. I don't want it to know that {1,2}={2,1}, I want to be able to prove from extensionality things like {1,1,1,1,1,2,1,2,1,1}={1,2} but there is an unlimited different presentation for even just a finite set... $\endgroup$ – Veritas Lux Oct 14 '20 at 19:48
  • $\begingroup$ I think you may need to elaborate your question then, because it's not clear to me what you want to do exactly. $\endgroup$ – Sjoerd Smit Oct 15 '20 at 8:13
  • $\begingroup$ I want to write the axiom of extensionality in Mathematica. $\endgroup$ – Veritas Lux Oct 15 '20 at 23:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.