@lisyarus@mastodon.gamedev.place
Post #2278878
2026-05-06 15:11 UTC
@julesh@mathstodon.xyz The powerset is a complete lattice wrt subset relation, and the largest element is the original set that the powerset was computed from. I'm not sure about the details but it sounds like that should be enough?
Replies (1)
-
@julesh@mathstodon.xyz 2026-05-06 15:21
@lisyarus@mastodon.gamedev.place Sounds plausible... I would like to extract the set of elements, I'm thinking that if you delete the bottom element of the lattice then the set of elements is given up to bijection by the set of remaining minimal elements, which are the singleton subsets