(There is the ticket #19659 with some suggestions, but maybe it is best to think before looking that.)
-- Jori Mäntysalo
Loosely speaking, on posets connected_components() is kind of inverse
function to disjoint_union(). What should be name of "inverse function" of
ordinal_sum() and ordinal_product()?
