Letra grega ômega maiúscula.

Letra grega teta maiúscula.

Um subconjunto A de um conjunto B é próprio se for diferente de B.  Notação: A ⊂ B.

Probabilidade de que a variável aleatória X tenha valor k.

Esperança da variável aleatória X, ou seja, ∑k kPr[X=k].

Suponha que S é uma coleção de conjuntos. Um elemento X de S é mínimo se não existe Y em S tal que |Y| < |X|.  Em outras palavras, X é mínimo se |X| ≤ |Z| para todo Z em S.   (Cuidado! Esta definição pode ser diferente daquela usada na teoria das ordens parciais.)   É evidente que todo mínimo [..]

Suponha que S é uma coleção de conjuntos. Um elemento X de S é minimal se não existe Y em S que seja um subconjunto próprio de X.  Em outras palavras, X é minimal se X não é superconjunto próprio de algum outro elemento de S.

Suponha que S é uma coleção de conjuntos. Um elemento X de S é máximo se não existe Y em S tal que |Y| > |X|.  Em outras palavras, X é máximo se |X| ≥ |Z| para todo Z em S.   É evidente que todo máximo é maximal. Mas a recíproca longe está de ser verdadeira.

Suponha que S é uma coleção de conjuntos. Um elemento X de S é maximal se não existe Y em S tal que  Y ⊃ X , ou seja, se nenhum elemento de S é superconjunto próprio de X.

Algoritmo cujo consumo de tempo é  Ο(n log n),  sendo n o parâmetro que mede o tamanho da "entrada" do algoritmo.  Usualmente a expressão só se aplica a algoritmos que consomem tempo Θ(n log n).