(Although it guarantees the absence of homonymy within a particular theory, the rule of univocacy does not preclude synonymy. Furthermore, any explicit definition generates the synonymous pair Dfd≡Dfn, and for the same concept it is possible to have different definitions, among which comparison ...