answered 3 years ago
I believe an element p of P is mapped to frozenset(P.order_filter([p])) in P.completion_by_cuts().
p
P
frozenset(P.order_filter([p]))
P.completion_by_cuts()