
Re: Which term to choose?
Posted:
Oct 26, 2013 9:49 PM


On Sat, 26 Oct 2013, Victor Porton wrote: > William Elliot wrote:
> >> What's your reloid distributive theorem? > >> Please state it in ascii in the body of your reply. > > > > Is this it? Let F be a principal filter for XxY > > and for all j in J, Gj a filter for YxZ. Then > > . . F o /\_j Gj = /\{ F o Gj  j in J }. > > > > Also if F filter for XxY, G,H filter for YxZ, then > > . . F o G/\H = FoG /\ FoH. > > Yes, these two theorems are correct. > > > Are there any additional distributive theorems for > > reloids other than reversing the compositions? > > I know no other distributive theorems of reloids.
But you said you wrote a hold chapter about that.

