oblast předmětů

oblast předmětů, log . termín predikátového kalkulu, upřesňující okruh předmětů, na něž se predikát vztahuje. Důležitou roli hraje v logice tříd, kde je synonymem pojmu univerza (zavedeného A. Morganem) jako protikladu k prázdné množině.