Set-like relation
= Set-like relation
= Set-like
{synonym}
= Set-likeness
{synonym}
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.
= Set-like relation
= Set-like
{synonym}
= Set-likeness
{synonym}
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.