Re: Semigroup problem



On 2008-05-12, marcjhg@xxxxxxxxx <marcjhg@xxxxxxxxx> wrote:
all x all y (F(x) * G(y) = y * x). % ?Weak commutativity?

That is not a sentence: F and G are unbound. At best, it is a
predicate in (F,G). That's what everyone has been trying to point out
to you.


- Tim
.