On closures verifying that the interior of a closed element is closed
Emmanuelle Garel, Jean-Pierre Olivier · Communications in Algebra · 1995
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)