An abstraction of a process or relationship between Objects, a more generalized version of a Function, that acts as a Structure-preserving Map