de centro A e raio r é lugar geométrico dos pontos cuja distância a A é r. O ponto A é deniminado centro da circunferência.

três pontos A, B e C são colineares se, e somente se, existe uma reta que contém aos 3.

um resultado supostamente válido, para o qual ainda não é conhecida uma demonstração. Vide teorema e demonstração.

um conjunto A é convexo se, e somente se, quaisquer que sejam (a¹,a²,l) em A x A x [0,1], l a¹ + (1-l) a² é também elemento de A.
Isso significa que o segmento com extremo em 2 pontos quaisquer de A está inteiramente contido em A.

definida pelos pontos A e B é um sub-conjunto contíguo (curva) da circunferência delimitado por ambos os pontos. Note que deste modo, estão definidas duas cordas.

uma função é dita recursiva ou recorrente quando em sua definição existe uma chamada para ela própria.
Um exemplo bastante difundido de função recursiva é a função fatorial: A recorrência da função fatorial é caracterizada pela invocação da própria função (como no caso de script recorrente) no "lado direito" de sua definição (no exemplo acima, a recorrência é caracterizada pela chamada fat(n-1), como sublinhado).

é uma transformação (função) que preserva distância (em espaços métricos). Assim, sendo f:D -> I uma isometria, então quaisquer que sejam a e b do domínio D, ||a-b|| = ||f(a)-f(b)||, sendo ||x-y|| a distância entre x e y.
Isso significa que, para qualquer par de pontos (x,y) do espaço D, este tipo de função, leva num novo par (f(x),f(y)) cuja distância entre si é a mesma do par (x,y).

dos pontos A e B é o lugar geométrico dos pontos que equidistam de ambos.
m é a mediatriz de A e B <=> para todo P em m, ||P-A||=||P-B||.

de A e B, é o ponto P tal que P esteja no segmento AB e equidiste de ambos.
P é o ponto médio de AB <=> P em AB e ||P-A||=||P-B||.