User talk:Lord Farin/Backup/Complement Reverses Ordering

From ProofWiki
Jump to navigation Jump to search

It may be better to place this at Complementation Reverses Ordering. --Lord_Farin (talk) 09:42, 25 August 2012 (UTC)

I'm not happy with the word "complementation", it comes across as artificially created, and as such is overlong. If it must be emphasised that it is the operation induced by the complement of an object, then use "complement operation" (the terminology is appropriate, as a mapping, which this technically is, is a unary operation).
While I think out loud and ramble on, it is of course possible to treat the complement operation as a mapping. I've seen it done like that in a few books (1975: T.S. Blyth: Set Theory and Abstract Algebra does it in passing, for example), and I wonder whether it might be interesting to explore that concept ... --prime mover (talk) 11:36, 25 August 2012 (UTC)
Yes, you are probably right. My subconscious mind gently brought me to Complement in place of Complementation. Complement operation is fine with me. As it is a part of the definition of a Balg I find it more natural to regard it an operation, not a mapping. But it could be done, of course. --Lord_Farin (talk) 11:39, 25 August 2012 (UTC)