V metafyzice je univerzální typ, vlastnost nebo vztah. Podstatné jméno univerzální kontrastuje s individuálním, zatímco přídavné jméno univerzální kontrastuje s konkrétním nebo někdy s konkrétním. Druhý význam však může být matoucí, protože hegelovská a neo-hegelovská (např. britská idealistická) filozofie hovoří o konkrétních univerzálních pojmech.
Univerzál může mít instance, známý jako jeho náležitosti. Například typ pes (nebo doghood) je univerzální, stejně jako vlastnost červená (nebo zarudnutí) a vztah mezi (nebo je mezi). Jakýkoli konkrétní pes, červená věc, nebo objekt, který je mezi jinými věcmi není univerzální, nicméně, je instancí univerzální. To je, univerzální typ (doghood), vlastnost (zarudnutí), nebo vztah (mezi) inhibuje určitý objekt (konkrétní pes, červená věc, nebo objekt mezi jinými věcmi).
Platónský realismus považuje univerzály za odkazy na obecné pojmy, tj. abstraktní, nefyzické entity, na které odkazují slova jako „doghood“, „redness“ a „betweenness“. Naproti tomu, údaje jsou odkazy na vlastní jména, jako „Fido“, nebo na určité popisy, které identifikují jednotlivé objekty, jako fráze, „to jablko na stole“. Naproti tomu jiné metafyzické teorie používají pouze terminologii univerzálů k popisu fyzikálních entit.
Problém univerzálů je v metafyzice prastarý problém týkající se povahy univerzálů, nebo jejich existence. Část problému zahrnuje důsledky používání jazyka a složitost vztahování jazyka k ontologické teorii.
Většina ontologických rámců nepovažuje třídy za univerzály, i když někteří významní filozofové ano, například John Bigelow.