Что означает данный значок?

[mr.tumkan2015]

Подскажите, пожалуйста, что означает данный значок?

[Lia]

Объединение непересекающихся множеств.

[Munin]

А вот кстати, почему копроизведение обозначается $\coprod,$ а не $\bigsqcup$? Я так понял, что в Set это одно и то же.

[mr.tumkan2015]

Спасибо!