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"?