Type/ting-distinktionen er den ontologiske dikotomien mellem universalia («typer») og partikularia («ting»). Mens f.eks. «by» er et universale, er Tromsø og Berlin to af partikularierne som er medlemmer af universalet by.