Hi,
I'm trying to find this example since 4 hours, but can't find one. I'm starting thinking it's impossible...
Find an example of relations and on some set such that, if we let and we let , and be the transitive closures of , and respectively, then and .