Junctions

A junction is a single value that is equivalent to multiple values.

(1|2|3) + 4              # 5|6|7