univerzum ( logika) = obor úvahy (logika)
- oblasť úvahy ; množina všetkých entít, o ktorých uvažujeme alebo ktoré skúmame (napr. množina indivíduí) ( L715;756).