Määritys , logiikassa määrämerkkien kiinnittäminen predikaatti tai ehdotuksen aihe. Universaalia kvantisoijaa, jota symboloi (∀-) tai (-), kun aihio täytetään muuttujalla, käytetään ilmaisemaan, että seuraava kaava pätee tietyn kvantifioidun muuttujan kaikkiin arvoihin. Symbolisoitu (∃-) eksistentiaalinen kvantifikaattori ilmaisee, että seuraava kaava pitää sisällään osan (ainakin yhdestä) kyseisen kvantifioidun muuttujan arvosta.
Erilaisia määrällisiä määriä voidaan yhdistää. Esimerkiksi epsilonin (ε) ja delta (δ) rajoittaminen positiivisiin arvoihin, b kutsutaan funktion rajaksi f ( x ) kuten x lähestymistapoja että jos jokaiselle ε on olemassa δ sellainen, että aina kun etäisyys x että että on pienempi kuin δ, sitten etäisyys f ( x ) b on pienempi kuin ε; tai symbolisesti:
jossa pystyviivat merkitsevät suljetut määrät absoluuttisina arvoina, Kvantifioituja muuttujia kutsutaan sidotuiksi (tai nukkeiksi) ja kvantifioimattomia muuttujia. Siten yllä olevassa lausekkeessa ε ja 5 ovat sitoutuneet; ja x , että , b ja f ovat ilmaisia, koska yksikään niistä ei esiinny argumenttina ∀: lle tai ∃: lle. Katso myös ehdotustoiminto.
