Об одном критерии для автоморфизмов графа

Получен критерий того, является ли данная биекция, заданная на множестве вершин произвольного (не обязательно конечного) графа, автоморфизмом этого графа. Критерий может быть применён для изучения как общих бинарных отношений, так и конкретных конечных графов. Последний случай иллюстрирован на специальном случае графов.