в записи не множества, а пары элементов.
Да без разницы что элементы или множества. Я не двухсмысленно намекал, что у тебя написано не тождество, а равенство, которое возможно только при одном значении b. (b=0)
То́ждество (в математике) — равенство, выполняющееся на всём множестве значений входящих в него переменных (равенство, верное при любых значениях переменной). а+а=2а - это тождество, но а+а=4 - это равенство при а=2.