Так это логика? Или что?
Может, все-таки,

- множества, ^ - операция пересечения

, а

- прямое произведение?
Ну, если так - мало Вам счас не покажется. Потому как задача тогда совсем простая, и все проблемы - из-за незнания определений...
И первым делом с Вас их я стребую. Ну?