Словарь по логике

Омоним: Относительный термин, обозначающий знак, находящийся в отношении омонимии с некоторым другим, подразумеваемым знаком.
Виды омонимов выделяются по соответствующим им видам омонимии.