Из диаграмм становится ясно, что f не может «склеивать» элементы, т. е. f - мономорфизм, а в терминах теории категорий, где все определяется через те или иные стрелки, мы можем утверждать, что в таком случае А – это подмножество В (строго говоря – подобъект, но сейчас это неважно).
Так, если у нас имеется следующая композиция стрелок
Давайте посмотрим, что сообщает нам о морфизме f информация о наличии у него ретракции r :
то g является сечением для f и, одновременно, f является ретракцией для g.