Univers, logisk univers, mængden af de genstande, man i en given sammenhæng ønsker at undersøge. Begrebet er indført af George Boole i forbindelse med den logiske algebra. Et logisk univers kan fx være samtlige fysiske genstande eller samtlige amerikanske præsidenter i 1900-t.