U_[p] ： {p：p=aUb(a∈A,b∈B)}

498から想像するに、おそらく こんな感じの演算。
aUb(a∈A,b∈B) のa,bが一意に決まらないのに
aUbが一意に決まるわけがない。