Необходимо вспомнить из вводного курса математики определения отображения множества во множество , видов отображений (инъективного, сюръективного, биективного) и их признаки:
1. При инъективном отображении в каждый элемент из имеет не более одного прообраза.
2. При сюръективном отображении в каждый элемент из имеет хотя бы один прообраз.
3. При биективном отображении в каждый элемент из имеет единственный прообраз.
Если отображение является биекцией, то существует обратное ему отображение , при котором , если .
Преобразованием множества называется биективное отображение этого множества в себя.