Talk:Relation Intersection Inverse is Greatest Symmetric Subset of Relation

From ProofWiki
Jump to navigation Jump to search

There is such a thing as an interior operator, somewhat like a closure operator. I suspect this is one, so it would be the "symmetric interior", I imagine. --Dfeuer (talk) 09:29, 4 March 2013 (UTC)

Good call - see Definition:Interior (Topology) for where it currently stands - we may want to do a similar job as we did with Closure. --prime mover (talk) 10:46, 4 March 2013 (UTC)