What's the reason the word morphism is used rather than binary relation?