Equality is a synonym of Equation. Equation is related to Function. Function is related to Drive. 
Works is a type of Mechanism. 
Equality <--Synonym--> Equation <--RelatedTo--> Function <--RelatedTo--> Drive 
Mechanism <--IsA-- Works 