Revision as of 13:13, 7 December 2009 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →[[WP:LEAD\|Lede]]: maths rating ← Previous edit		Revision as of 19:55, 5 July 2012 edit undo Mike Rosoft (talk \| contribs) Administrators 67,194 edits Suspicious definition Next edit →
Line 49: I added the new "preliminaries" section to clarify issues of what I mean by "working in a theory" or "defining" or "constructing" objects there. [[User:Randall Holmes\|Randall Holmes]] 18:41, 24 December 2005 (UTC) ==Injective function== *''f'' is a[n] '''[[Injective function\|Injection]]''' if the ___domain of ''f'' is ''A'' and the range of ''f'' is a subset of ''B''. Am I missing something? This condition does not seem to restrict the function f in any way. (f(x)=0 would meet the definition, if 0 is an element of B.) - [[User:Mike Rosoft\|Mike Rosoft]] ([[User talk:Mike Rosoft\|talk]]) 19:55, 5 July 2012 (UTC)

Talk:Implementation of mathematics in set theory: Difference between revisions