Category talk:Ordered Integral Domains

Why is this a subcategory of Category:Total Orderings? --Dfeuer (talk) 22:41, 12 January 2013 (UTC)


 * Because you put it there. --prime mover (talk) 23:19, 12 January 2013 (UTC)


 * Not exactly. I took it out, realized I wasn't sure there wasn't a reason, and put it back. --Dfeuer (talk) 23:21, 12 January 2013 (UTC)


 * Oh okay, sorry, I'm with you now.


 * So why would this not be a subcategory of Total Orderings? I think it would be suboptimal to stick so strictly to the letter of the category name to restrict it to "total orderings" and not include "totally ordered sets" - the original intention when I envisaged the category was to so include the latter - and so, with that in mind, an ordered integral domain is a totally ordered set. Therefore it belongs as a subcategory of total orderings. --prime mover (talk) 23:32, 12 January 2013 (UTC)