confluence

여러 갈래로 계산을 다르게 진행해도 결국 하나로 만나는 성질을 뜻하므로. (예를들어, 람다 계산법에서)