Skip to content
July 1, 2016 / porton

New easy theorem and a couple of conjectures

I added to my free ebook a new (easy to prove) theorem and a couple new conjectures:

Theorem For every reloid f:

  1. \mathsf{Compl} (\mathsf{FCD}) f = (\mathsf{FCD}) \mathsf{Compl} f;
  2. \mathsf{CoCompl} (\mathsf{FCD}) f = (\mathsf{FCD}) \mathsf{CoCompl} f.

Conjecture

  1. \mathsf{Compl}(\mathsf{RLD})_{\mathsf{in}} g=(\mathsf{RLD})_{\mathsf{in}}\mathsf{Compl} g;
  2. \mathsf{Compl}(\mathsf{RLD})_{\mathsf{out}} g=(\mathsf{RLD})_{\mathsf{out}}\mathsf{Compl} 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: