Relation DIAGRAM-DIRECT-SUCCESSOR

The fc component X has a direct successor Y. Obviously it is not transitive.
Arity: 2
Domain: Flow-chart-component
Range: Flow-chart-component
Subrelation-Of: Diagram-successor