Определите ваш набор U, чтобы иметь несколько индексов: k, l (просто заполните несколько индексов в поле индекса вашего набора U).
Затем для индексного домена в вашем ограничении используйте (k, l) | k <> l. Это набор пар (k, l), который вы определили как U, ограниченный набором k, не равным j.