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

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

2 thoughts on “Three (seemingly not so difficult) new conjectures

Leave a Reply

Your email address will not be published. Required fields are marked *