 Set-like relation

A class relation for which each point has a set of predecessors. This allows the suprema in well-founded recursion to be ordinals rather than proper classes.