predikativní definice (funkce)
predikativní definice (funkce) [-dy-tý-ny-], log. definice (funkce), které nezahrnují bludný kruh. Neopírají se o předpoklad, že daný soubor může obsahovat objekty definovatelné pouze pomocí tohoto souboru jako celku. V.t. nepredikativní definice (funkce); teorie typů; predikativní obecně.
