Given sets:

  • Then,