• Sets are unordered.

  • Inputs and output are ordered by X just for readability.

  • Note that R, S each contain (2, aaa), and it appears only once in R ∪ S.