answered 4 years ago
Like this
sage: P = posets.BooleanLattice(4) sage: P.order_ideals_lattice() Finite lattice containing 168 elements