Talk:Phase semantics

Preliminaries: relations and closures

I think everything I write in the preliminaries can be found in Birkhoff, "Lattice theory". Can anyone check? (I don't think I have easy access to a copy.

In particular, I think x^R was written $x^{\leftarrow}$, with the relation R being implicit.

If so, we should add a reference to that.

-- Pierre Hyvernat 11:22, 8 February 2009 (UTC)