Implementation of mathematics in set theory: Revision history

2 May 2025

• curprev 22:5822:58, 2 May 2025 Rgdboer talk contribs m 60,707 bytes 0 →Related definitions: semicolon is traditional symbol for composition of relations undo

31 March 2025

• curprev 16:3216:32, 31 March 2025 Remsense talk contribs 60,707 bytes +27 Adding intentionally blank description undo Tag: Shortdesc helper

30 September 2024

• curprev 21:3921:39, 30 September 2024 47.187.244.142 talk 60,680 bytes −114 →top: Removed superfluous remark on special functions (that wasn't even correct anyway) undo Tags: Mobile edit Mobile app edit Android app edit App full source

24 August 2022

• curprev 18:3218:32, 24 August 2022 Mgkrupa talk contribs 60,794 bytes +24 →External links undo

2 June 2022

• curprev 16:3116:31, 2 June 2022 Daira Emma Hopwood talk contribs 60,770 bytes +18 →Functions: Avoid sloppy notation; a function is distinct from its application to a dummy variable. undo Tags: Mobile edit Mobile web edit
• curprev 16:2116:21, 2 June 2022 Daira Emma Hopwood talk contribs 60,752 bytes +1 →Relations: Add comma for clarity. undo Tags: Mobile edit Mobile web edit

9 September 2021

• curprev 17:4417:44, 9 September 2021 Sesquivalent talk contribs 60,751 bytes −11 remove 'ref' undo
• curprev 17:4217:42, 9 September 2021 Sesquivalent talk contribs 60,762 bytes +12 wp:DPL undo

27 August 2021

• curprev 15:4115:41, 27 August 2021 Lambiam talk contribs m 60,750 bytes +33 →Finite sets and natural numbers: link undo

22 February 2021

• curprev 10:0710:07, 22 February 2021 Hellacioussatyr talk contribs m 60,717 bytes +22 →Cardinal numbers: Put def on top of the equals sign undo Tag: 2017 wikitext editor

9 February 2021

• curprev 04:1204:12, 9 February 2021 David Eppstein talk contribs 60,695 bytes −9 Update Holmes link undo
• curprev 04:0904:09, 9 February 2021 David Eppstein talk contribs 60,704 bytes −9 update Holmes link undo

28 January 2020

• curprev 14:2014:20, 28 January 2020 139.19.76.10 talk 60,713 bytes 0 →Functions: Fixed typo in the range of a relation undo Tag: Visual edit

25 October 2019

• curprev 20:1320:13, 25 October 2019 Joel Brennan talk contribs m 60,713 bytes +17 →Size of sets: added wikilinks undo
• curprev 20:1020:10, 25 October 2019 Joel Brennan talk contribs 60,696 bytes −245 →Related definitions: has been moved into the 'functions' section undo
• curprev 20:0920:09, 25 October 2019 Joel Brennan talk contribs 60,941 bytes +1,698 →Functions: explained more clearly that a function does not determine its codomain undo
• curprev 19:2619:26, 25 October 2019 Joel Brennan talk contribs m 59,243 bytes −21 →Functions undo
• curprev 19:2319:23, 25 October 2019 Joel Brennan talk contribs m 59,264 bytes −14 →Functions undo
• curprev 19:1519:15, 25 October 2019 Joel Brennan talk contribs m 59,278 bytes −5 →Relations undo
• curprev 18:5618:56, 25 October 2019 Joel Brennan talk contribs m 59,283 bytes −2 →Relations: wording undo
• curprev 18:5518:55, 25 October 2019 Joel Brennan talk contribs m 59,285 bytes −24 →Ordered pair undo
• curprev 18:5218:52, 25 October 2019 Joel Brennan talk contribs m 59,309 bytes −1 →Ordered pair: typo undo
• curprev 18:5118:51, 25 October 2019 Joel Brennan talk contribs m 59,310 bytes +73 →Empty set, singleton, unordered pairs and tuples: formatting and wikilinks undo
• curprev 18:4618:46, 25 October 2019 Joel Brennan talk contribs m 59,237 bytes +4 →Preliminaries: added wikilink undo
• curprev 18:4618:46, 25 October 2019 Joel Brennan talk contribs m 59,233 bytes +154 →Preliminaries: added wikilinks undo
• curprev 18:3818:38, 25 October 2019 Joel Brennan talk contribs m 59,079 bytes +42 added wikilinks undo

12 February 2019

• curprev 20:0720:07, 12 February 2019 Wbm1058 talk contribs m 59,037 bytes +17 Disambiguate Von Neumann to John von Neumann using popups undo

19 August 2018

• curprev 23:2823:28, 19 August 2018 Ira Leviton talk contribs m 59,020 bytes −31 Deleted the phrasing 'it is interesting to note that' - see Wikipedia:Manual_of_Style/Words_to_watch#Editorializing. undo

21 June 2018

• curprev 21:3221:32, 21 June 2018 Rgdboer talk contribs m 59,051 bytes +1 →Related definitions: lk Converse relation undo

31 October 2016

• curprev 18:0618:06, 31 October 2016 Magioladitis talk contribs m 59,050 bytes −14 clean up, replaced: <strong> → ''' (2), </strong> → ''' (2) using AWB (12100) undo

9 April 2016

• curprev 01:2201:22, 9 April 2016 Ben Standeven talk contribs 59,064 bytes +81 →Ordered pair: The Weiner pair has the same problem, more or less. undo

18 March 2016

• curprev 23:2523:25, 18 March 2016 BG19bot talk contribs m 58,983 bytes −13 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

19 August 2014

• curprev 05:5405:54, 19 August 2014 5.68.41.67 talk 58,996 bytes −4 →Related definitions: This must have been a mistake. xRy usually refers to an ordered pair, which as noted above, can be implemented as a set but this would be ambiguous (which implementation?). R would be less ambiguous as a set, but not include y. undo

14 August 2014

• curprev 15:3315:33, 14 August 2014 Arthur Rubin talk contribs 59,000 bytes −11 Undid revision 620975765 by 5.69.140.243 (talk) actually, grammar forbids that change. Try this one. undo

12 August 2014

• curprev 22:0522:05, 12 August 2014 5.69.140.243 talk 59,011 bytes +8 →Preliminaries: neglected to include the word "defined" as grammar requires undo

4 April 2014

• curprev 18:4518:45, 4 April 2014 Arthur Rubin talk contribs 59,003 bytes −31 Reverted good faith edits by Maurice Carbonaro (talk): Plausible, but wrong. (TW) undo
• curprev 11:0111:01, 4 April 2014 Maurice Carbonaro talk contribs m 59,034 bytes +31 Hyperlinked "(...) foundations for mathematics (...)" which links to the "Foundations of mathematics" article undo

19 December 2013

• curprev 15:1815:18, 19 December 2013 Quondum talk contribs 59,003 bytes +41 →Size of sets: lk Schröder-Bernstein theorem → Schröder–Bernstein theorem undo

7 June 2013

• curprev 22:2022:20, 7 June 2013 Myasuda talk contribs m 58,962 bytes +1 →Size of sets: added missing diacritic undo

4 April 2013

• curprev 09:4709:47, 4 April 2013 202.37.70.206 talk 58,961 bytes −1 →Properties and kinds of relations: Markup fix. undo

22 February 2013

• curprev 10:2610:26, 22 February 2013 FrescoBot talk contribs m 58,962 bytes −10 Bot: link syntax/spacing undo

26 January 2013

• curprev 23:1023:10, 26 January 2013 RandomDSdevel talk contribs m 58,972 bytes +359 →Relations: Converted non-LaTeX math to LaTeX and corrected some grammar and mechanics undo

24 January 2013

• curprev 07:2507:25, 24 January 2013 Aaron Rotenberg talk contribs 58,613 bytes −4 →Operations on indexed families of sets: I believe this is what this definition is supposed to say... undo
• curprev 01:4301:43, 24 January 2013 RandomDSdevel talk contribs m 58,617 bytes 0 →Related definitions: Attempted to fix some LaTeX math undo
• curprev 01:3601:36, 24 January 2013 RandomDSdevel talk contribs 58,617 bytes +395 →Related definitions: Converted math to LaTeX and fixed some grammar undo
• curprev 01:2301:23, 24 January 2013 RandomDSdevel talk contribs m 58,222 bytes +2 →Functions: Fixed a LaTeX expression's alignment undo

19 January 2013

• curprev 19:4419:44, 19 January 2013 RandomDSdevel talk contribs m 58,220 bytes +1 →Ordered pair: Clarified abbreviation of 'defined' to 'def' by reinstating periods ('.'s) afterwards, giving 'def.' over equals signs undo
• curprev 19:4319:43, 19 January 2013 RandomDSdevel talk contribs 58,219 bytes +4 →Empty set, singleton, unordered pairs and tuples: Clarified abbreviation of 'defined' to 'def' by reinstating periods ('.'s) afterwards, giving 'def.' over equals signs undo
• curprev 19:4119:41, 19 January 2013 RandomDSdevel talk contribs 58,215 bytes +107 →Empty set, singleton, unordered pairs and tuples: Fixed some LaTeX math undo

18 January 2013

• curprev 19:0519:05, 18 January 2013 RandomDSdevel talk contribs 58,108 bytes +1,207 →Functions: Fixed some grammar, attempted to clarify some wording with links and grammatical restructuring, converted non-LaTeX math to LaTeX for consistency, and fixed some LaTeX math undo