
[;1m  family_to_relation(Family)[0m

  If [;;4mFamily[0m is a family, then [;;4mBinRel[0m is the binary relation
  containing all pairs (i, x) such that i belongs to the index set
  of [;;4mFamily[0m and x belongs to [;;4mFamily[0m[i].

    1> F = sofs:family([{a,[]}, {b,[1]}, {c,[2,3]}]),
    R = sofs:family_to_relation(F),
    sofs:to_external(R).
    [{b,1},{c,2},{c,3}]
