Home is related to Dog. 
Proof is related to Math. Math is related to Function. Function is a synonym of Operator. 
Home <--RelatedTo--> Dog 
Proof <--RelatedTo--> Math <--RelatedTo--> Function <--Synonym--> Operator 