Original: Span (category theory), a generalization of the notion of relation between two objects of a category
Simplified: (co) spans in category theory