5 relações: Anticadeia, Espaço topológico finito, Lógica intermediária, Modelo booliano valorado, Topologia de Alexandrov.
Anticadeia
Em matemática, na área da teoria da ordem, uma anticadeia é um subconjunto de um conjunto parcialmente ordenado de modo que quaisquer dois elementos distintos no subconjunto são incomparáveis.
Novo!!: Segmento inicial (matemática) e Anticadeia · Veja mais »
Espaço topológico finito
Em matemática, uma espaço topológico finito é um espaço topológico cujo conjunto de pontos é finito.
Novo!!: Segmento inicial (matemática) e Espaço topológico finito · Veja mais »
Lógica intermediária
Na lógica matemática, a lógica superintuicionista é a lógica proposicional estendendo a lógica intuicionista.
Novo!!: Segmento inicial (matemática) e Lógica intermediária · Veja mais »
Modelo booliano valorado
Na lógica matemática, um modelo booleano valorado é uma generalização da noção Tarskiana de estrutura da teoria dos modelos.
Novo!!: Segmento inicial (matemática) e Modelo booliano valorado · Veja mais »
Topologia de Alexandrov
Em topologia, um Espaço de Alexandrov é um espaço topológico no qual a intersecção de qualquer família de abertos é aberta.
Novo!!: Segmento inicial (matemática) e Topologia de Alexandrov · Veja mais »