Что означает U (только повёрнуто в право) и U| (тоже в право повёрнуто) в дискретной математике?

Пусть * означает "повернуто вправо"
А U* B значит, что множество А есть часть множества В, но А =/= В
A U|* B значит, что А есть часть В, причем допускается, что А=В.