Talk:Absorption Laws (Lattice Theory)

From ProofWiki
Jump to navigation Jump to search

It's demanded for one definition of lattice, but not the other, right? --Dfeuer (talk) 12:21, 14 January 2013 (UTC)

They are already proven equivalent. --Lord_Farin (talk) 12:24, 14 January 2013 (UTC)
In a more general context, consider Join Absorbs Meet and Meet Absorbs Join. --Lord_Farin (talk) 12:25, 14 January 2013 (UTC)