These rotations above are represented as a function, that is, an application between to sets. ... So, basically, rotations as functions are transformations of a relation between to sets to another relation, where this last relation would be different, according to the rotation.
