On closures verifying that the interior of a closed element is closed |
| |
| Authors: | Emmanuelle Garel Jean-Pierre Olivier |
| |
| Institution: | 1. INSA, Campus de Beaulieu , Rennes, 35042, France;2. Mathématique-Informatique , Fac. Sci. de Luminy 70, route Léon-Lachamp, Marseille, 13288, France |
| |
| Abstract: | We give significant improvements to the Graham, Knuth & Motzkin result: if R is any binary relation, R +c+c+ = R +c+c (where P + denotes the transitive closure of the binary relation P, and P c its Boolean complement) |
| |
| Keywords: | |
|
|
