Slice of life mathematique

EtNonLesShills

Je suis en train de coder un petit jeu et ca m'a amener a me poser une question qui je pense peut être qualifiée de topologique.

On va se placer en 2D vu que c'est la que travail mais rien ne vous interdit d'y réfléchir en dimension supérieure. Alors prenons une machine en 2D, connexe évidemment, composée de blocs de 2 types:
1) les briques qui... ne font rien 2) les rotateurs qui sont reliés a 2 briques, une des fixations est encastrées, l'autre permet de faire des rotations si cela est physiquement possible.

Question: la relation sur les rotateurs définie par R1 >= R2 ssi R1 est capable de faire bouger R2 est elle une relation de préordre ?

edit: étant entendu que quand un rotateur bouge on considère qu'il se fait bouger lui même (bien que cela n'engendre pas vraiment de déplacement de sa part)