Date: Oct 26, 2013 7:15 AM
Author: Victor Porton
Subject: Re: Which term to choose?

William Elliot wrote:

> On Fri, 25 Oct 2013, Victor Porton wrote:
>

>> Which term is better for a concept which generalizes both embedding and
>> restriction: 1. "embedding-restriction"; 2. "restrembedding"?
>>
>> ... or maybe "commonization"?

>
> Perhaps embedded restriction.
> How's it defined?


Not "embedded restriction", because it may be not a restriction.

A<->B = (A;B;id_{A\cap B}).

A<->B is a morphism of the category Rel.

When A is a subset of B, it is an embedding.

When A is a superset of B, it is a restriction.

> What's your reloid distribution theorem?
> Please state it in ascii in the body of your reply.


What is "distribution"?