Если отображение a множества А на множество В переводит различающиеся элементы множества А в различающиеся элементы множества В, то это отображение называется