Arrows Model finite functions that may not be surjective as a mapping between domain elements and a multiset of codomain elements that are reachable from that state.