Talk:Supremum of Elements of Sublattice not necessarily Same as for Lattice

Why the merge? The results are different. --prime mover (talk) 16:04, 5 June 2023 (UTC)


 * The term sublattice used here seems different from the definition.
 * It is not a sublattice, but an ordered subset which is also a lattice.
 * So both results are similar in the sense that an ordered substructure of a lattice or a semilattice which is also a lattice or a semilattice is not always a sublattice or a subsemilattice, respectively.
 * Also, it seems better to prove (or add another proof for) Join Semilattice Ordered Subset Not Always Subsemilattice using this result than merge. --Fake Proof (T C) 10:58, 6 June 2023 (UTC)


 * Hence I deleted the merge request. --prime mover (talk) 16:55, 6 June 2023 (UTC)