Definition talk:Closure Operator/Power Set

From ProofWiki
Jump to navigation Jump to search

The reason those other pages don't have links is that this one doesn't really. "increasing" is only with respect to the subset relation, which isn't explained. I don't know the general sense of "extensive"...--Dfeuer (talk) 12:29, 26 February 2013 (UTC)

Perhaps Definition:Inflationary Mapping is of use? — Lord_Farin (talk) 12:49, 26 February 2013 (UTC)
That seems to work for the extensive bit. I don't think "order-preserving" is better than "increasing". Neither of them specifies the ordering. --Dfeuer (talk) 13:19, 26 February 2013 (UTC)
I consider "order-preserving" more suggestive than "increasing". People can come up with what the ordering intended is themselves (hopefully). Where did you get "extensive" from? If it's a proper source that needs to be added to Definition:Inflationary Mapping. — Lord_Farin (talk) 13:22, 26 February 2013 (UTC)
That was here before I was. Wikipedia also uses that term for this, but also doesn't define it. --Dfeuer (talk) 13:36, 26 February 2013 (UTC)
Ok, then I suggest we stick with "inflationary". — Lord_Farin (talk) 13:48, 26 February 2013 (UTC)