EQU: Equivalence
Definition: The expression (e1 EQU e2) states that the entities e1 and e2 are intensionally equal. The relation is symmetric, reflexive and transitive (i.e. it is an equivalence relation).
Company is equal to Fujitsu ltd.
Definition: The expression (e1 EQU e2) states that the entities e1 and e2 are intensionally equal. The relation is symmetric, reflexive and transitive (i.e. it is an equivalence relation).
Company is equal to Fujitsu ltd.