ε-okolím bodu x[0] rozumíme množinu O[ε](x[0]) = { x ∈ R^n : ‖ x − x[0]‖ < ε }[] Množina U je okolím bodu x[0] právě tehdy, když s bodem x[0] obsahuje také nějaké ε-okolí bodu x[0]. Čtvercová matice A typu n × n je positivně definitní právě tehdy, když pro každé x ∈ R^n , x ≠ 0, platí x^TAx > 0 Sylvesterovo kritérium, když čtvercová matice A je symetrická: všechny hlavní subdeterminanty jsou kladné.