>768
join [[1,2,3],[2,3]] = [1,2,3,2,3]

{1,2,3} \/ {2,3} = {1,2,3}

ちなみに領域理論で使われるのは general topology で，結び目とかのいわゆる
「トポロジー」とは(多くの場合)大きく異なる．

あと，念のために書いておくと結び目は knot/link だからね．