Obtaining certain minimal elements for lattices
Let L be a finite lattice and Lop the opposite lattice. We can then look at the product lattice U=Lop×L and inside U the poset SL= { (r1,r2)∈Lop×L|r2≰r1 }. My question is whether there is an easy way to obtain the poset SL for a given lattice L together with the minimal elements min(SL) of SL.