Table of Contents - 21.38.5.21. Finite relationship composition.
In order for theorems on the transitive closure of a relation to
be grouped together before the concept of continuity, we really
need an analogue of that works on finite ordinals or finite
sets instead of natural numbers.