Skip to content
September 27, 2013 / porton

Monovalued reloids are metamonovalued

I’ve proved today the theorem:

Theorem Monovalued reloids are metamonovalued.

In other words:

Theorem \left( \bigsqcap G \right) \circ f = \bigsqcap \left\{ g \circ f  \,|\, g \in G \right\} if f is a monovalued reloid and G is a set of reloids (with matching sources and destination).

The proof uses the lemma, which is a special case (when f is a principal reloid) of the theorem. The proof is now presented in the preprint of my book.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: