From: Joel Young (jdy_at_[hidden])
Date: 2002-09-05 22:59:14


From: Douglas Gregor <gregod_at_[hidden]>
> I can vouch for the need for the definition:
> [a,b] RelOp [c,d] := x RelOp y for all (x, y) where a <= x <= c, b <= y <= d

Hi Doug,

Could you describe some of the RelOps you find interesting?

Thanks!