How do I define a sublattice/subposet?

Stream: new members

[Jihoon Hyun]

The docs4#Sublattice says that Sublattice structure shouldn't be used directly, then how should it be used? Also, how should I define a subposet of a poset?

[Yaël Dillies]

You misread :wink: The "Do not use" applies to docs#Sublattice.carrier, not to docs#Sublattice itself

[Yaël Dillies]

Maybe my warning is a bit too flashing

[Jihoon Hyun]

Yeah I definitely missed that. Thanks for clarifying about the sublattice!