rowmotion

/R OW1 M OW1 SH AH0 N/
noun
  1. 1

    (mathematics) A certain operation on the order ideals (or antichains) of a finite poset.