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 )

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: