以上より、"σ"("t")は三つの集合の直和