3
$\begingroup$

Having a set I need to take an arbitrary element which is not in this set.

I know that existence of such elements for every set can be proved in ZF.

My question: Are there any established notation/terminology for such elements?

  • 13
    I don't know if that really answers your question but given the set $E$, you could just use $E \notin E$.2012-06-13
  • 4
    Why the downvotes?2012-06-13

3 Answers 3