Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
successor_set [2013/09/16 10:48]
nikolaj
successor_set [2014/03/21 11:11]
127.0.0.1 external edit
Line 1: Line 1:
 ===== Successor set ===== ===== Successor set =====
-==== Definition ​==== +==== Set ==== 
-| @#88DDEE: $X$ |+| @#55CCEE: context ​    | @#55CCEE: $X$ |
  
-| @#FFBB00: $ S(X) \equiv X \cup \{X\} $ |+| @#FFBB00: definiendum ​| @#FFBB00: $ S(X) \equiv X \cup \{X\} $ |
  
 ==== Discussion ==== ==== Discussion ====
Line 16: Line 16:
 ProofWiki: [[http://​www.proofwiki.org/​wiki/​Definition:​Successor_Set|Successor set]] ProofWiki: [[http://​www.proofwiki.org/​wiki/​Definition:​Successor_Set|Successor set]]
 ==== Parents ==== ==== Parents ====
-=== Requirements ​===+=== Context ​===
 [[Singleton]],​ [[Union]] [[Singleton]],​ [[Union]]
Link to graph
Log In
Improvements of the human condition