和关系符号组成的标识，而"A","B"为两个"L"-结构。则从"A"到"B"的同态是映射"h"：从"A"的域到"B"的域，使得在只有一个二元关系的特殊情况，这就是图同态的概念。
同态和形式语言理论中的无幺元同态.同态也被用于形式语言的研究中。给定字母表formula_14和formula_15，函数"h" : formula_16 → formula_17使得formula_18对于所有formula_16中的"u"和"v"成立，则称为formula_16上的"同态".令"e"表