Skip to content
May 9, 2017 / porton

Three (seemingly not so difficult) new conjectures

I’ve noticed the following three conjectures (I expect not very difficult) for finite binary relations X and Y between some sets and am going to solve them:

  1. X\sqcap^{\mathsf{FCD}} Y = X\sqcap Y;
  2. (\top \setminus X)\sqcap^{\mathsf{FCD}} (\top \setminus Y) = (\top \setminus X)\sqcap (\top \setminus Y);
  3. (\top \setminus X)\sqcap^{\mathsf{FCD}} Y = (\top \setminus X)\sqcap Y.


Leave a Comment
  1. porton / May 9 2017 22:07

    I’ve proved the first one. I am going to publish the (easy) proof soon.

  2. porton / May 9 2017 22:47

    All three conjectures follow from the fact that \Gamma is a sublattice of \mathsf{FCD}.

Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: