A   B                C

A   D                E

    B                  D

A   F                 B

Closure of {A,B}:     X = {A, B,                             }

Closure of  {A, F}:    X = {A, F,                             }