Description: The section relation is a relation between morphisms from X to Y and morphisms from Y to X . (Contributed by Mario Carneiro, 2-Jan-2017)