On a un ensemble ordonné (1): a < b < c < d

On déduit une liste avec triplet (2) :
a b c
a b d
a c d
b c d

Question :
Comment on peut déduire (1) à (2) et de (2) à (1). Avec Quelle algo ?
Et comment on peut reconnaitre si un couple quelconque, par exemple (a,b ) tel que b est le successeur de a ?

Merci beaucoup à vous ! Bonne soirée !