Function

You are a rule

You are a rule matching

Two sets such that

For each item

In the first set

There is just one

Item which it

Joins in the second

You are like a machine

You are connecting

An input

To output

Forming a route