Succeeds ()

WMA link


Succeeds[x, y, ...]

displays xy ≻ ...

SubsetEqual
SucceedsEqual