Talk:Transfinite Recursion Theorem/Uniqueness

Instead of supposing $y \subseteq z$, can't we just use $y \cap z$? --Dfeuer (talk) 22:11, 22 December 2012 (UTC)


 * I don't follow. $\subseteq$ is a relation, $\cap$ is an operation. So the first is a statement, the second is a term which does not stand alone and needs to be endowed with a predicate in order to be a statement. --prime mover (talk) 22:52, 22 December 2012 (UTC)


 * I mean changing the conclusion to read $\forall x\in y \cap z$, etc. --Dfeuer (talk) 23:32, 22 December 2012 (UTC)