Or is this only true for downsets? Thanks!
1 Answer
$\begingroup$
$\endgroup$
No, for example if $A$ and $B$ have an empty intersection.