graph 1 2 Sections Graphs Doc

Def l_disjoint(T;l1;l2) == x:T. ((x l1) & (x l2))

is mentioned

In prior sections: graph 1 1

Try larger context: Graphs

graph 1 2 Sections Graphs Doc