杯

符號 ，用於集合的並集，有時也用於邏輯連線詞 OR 而不是符號 (vee)。 實際上，對於任意兩個集合 和

並且這種等價性證明了集合論意義和邏輯意義之間的聯絡。