{"id":"arxiv/2603.23464","url":"https://arxiv.org/abs/2603.23464","tags":["math.LO","math.RA"],"score":0,"title":"A new proof of Funayama's theorem","domain":"math.LO","source":"arxiv","authors":["Guram Bezhanishvili","Wesley H. Holliday"],"reviews":0,"subject":"math.LO","summary":"Funayama proved that a lattice embeds into a complete Boolean algebra in such a way that all existing joins and meets are preserved if and only if the lattice satisfies the join-infinite and meet-infinite distributive laws. There are several proofs of this classic result in the literature. In this note, we provide a new and purely order-theoretic proof of Funayama's theorem, as well as of generalizations of the theorem.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-24","reactions":{}}