Skip to content
February 21, 2014 / porton

New theorem about funcoids and reloids

I’ve added to the preprint of my book a new theorem (currently numbered theorem 8.30).

The theorem states:

Theorem g \circ ( \mathcal{A} \times^{\mathsf{RLD}} \mathcal{B}) \circ f =  \langle ( \mathsf{FCD}) f^{- 1} \rangle \mathcal{A}  \times^{\mathsf{RLD}} \langle ( \mathsf{FCD}) g \rangle  \mathcal{B} for every reloids f, g and filters \mathcal{A} \in  \mathfrak{F}^{\mathrm{Dst}\, f}, \mathcal{B} \in \mathfrak{F}^{\mathrm{Src}\, g}.

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: