hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Maria Lucília Estanco Louro
Maria Lucília Estanco Louro (Beja, 27 de Janeiro de 1922 – Lisboa, 27 de Dezembro de 2018) foi uma professora anti-fascista portuguesa opositora do regime do Estado Novo e activista revolucionária comunista militante do Partido Comunista Português.

Antifascismo
Antifascismo é toda a filosofia, teoria ou prática ativista, cívica ou política que se oponha ao fascismo, incluindo muitas vezes o combate ao nazismo, neonazismo e a qualquer ideologia supremacista, xenófoba e de extrema-direita. Historicamente, o antifascismo é associado a vários movimentos políticos de diferentes espectros, como a social-democracia, nacionalismo, liberalismo, comunismo, marxismo, anarquismo, republicanismo e centrismo.

Em contexto histórico, é um termo originado da década de 1920 e relacionado com um movimento político que se opôs ao fascismo de Benito Mussolini, político italiano que governou com poderes ditatoriais a Itália fascista entre 1922 a 1943.
Di Cunto
Di Cunto é um restaurante na Mooca, em São Paulo, criado em 1935. O local é um ícone gastronômico da tradição italiana do bairro, cuja trajetória se confunde com a chegada dos italianos ao Brasil. Seu fundador foi Donato Di Cunto, que iniciou o negócio como uma panificadora. O empreendimento localiza-se na Rua Borges de Figueiredo, número 61.

Mooca
Mooca é um tradicional distrito bairro nobre situado na zona leste do município de São Paulo e é administrado pela subprefeitura da Mooca. É um bairro historicamente caracterizado pela grande quantidade de descendentes de imigrantes italianos. Apesar disso, nos últimos anos, devido à grande especulação imobiliária e chegada de novos negócios, houve um consequente aumento no número de moradores, e o perfil destes têm se tornado cada vez mais heterogêneo e rejuvenescido.

É considerado o distrito mais seguro de São Paulo por vários anos consecutivos, quem confirma isso é o governo da cidade. Desde 2011, é feita uma análise de índices de criminalidade por Distrito Policial nos bairros e regiões paulistanas para descobrir quais são os mais seguros. A pesquisa mostrou que a Mooca teve apenas duas mortes de 2011 a 2013, o número mais baixo de toda cidade.[carece de fontes?]

A Mooca é formada por 4 bairros: Vila Hipódromo, Mooca, Alto da Mooca (parte) e Parque da Mooca.
Tee (comando)
Tee é um comando presente em diversos interpretadores de comando como por exemplo o shell do Unix. Este comando reproduz o conteúdo fornecido pela entrada padrão tanto na saída padrão quanto em um ou mais arquivos, por isso é muito utilizado juntamente com canalizações para registrar a saída gerada por outros programas.

O nome do comando é mnemônico para a letra T, pois num diagrama mostrando o funcionamento do comando com a divisão da entrada padrão na saída padrão e em um arquivo acaba por lembrar esta letra.

Fluxos padrão
Os fluxos padrão são canais de entrada/saída entre um programa de computador e o seu ambiente (tipicamente um terminal de texto) que são pré-conectados no início da execução. Estas conexões padrão são disponibilizadas nos sistemas operacionais do tipo Unix, ambientes de execução das linguagens C e C++ e seus sucessores. As três conexões de I/O são chamadas de entrada padrão (do inglês standard input), saída padrão (do inglês standard output) e erro padrão (do inglês stardard error).
Grande Prêmio do Canadá de 1996
Resultados do Grande Prêmio do Canadá de Fórmula 1 realizado em Montreal em 16 de junho de 1996. Oitava etapa da temporada, teve como vencedor o britânico Damon Hill, que subiu ao pódio junto a Jacques Villeneuve numa dobradinha da Williams-Renault, com Jean Alesi em terceiro pela Benetton-Renault.

Jean Alesi
Jean Alesi, nascido Giovanni Alesi (Avinhão, 11 de junho de 1964), é um automobilista francês. Começou a sua carreira com uma paixão pelos rallies, deu entrada nos monolugares ao volante de um carro do campeonato Frances de Renault 5. Em 1988 ganhou o campeonato francês de Formula 3.
Teve na sua carreira na Formula 1 passagens pelas equipas Tyrrell, Benetton, Sauber, Jordan e principalmente na Ferrari onde foi muito popular entre os Tifosi.

Correu na Fórmula Um, onde obteve uma vitória.
Tito Mânlio Torquato (cônsul em 299 a.C.)
Tito Mânlio Torquato (m. 299 a.C.; em latim: Titus Manlius Torquatus) foi um político da gente Mânlia da República Romana eleito cônsul em 299 a.C. com Marco Fúlvio Petino. Provavelmente era filho do Tito Mânlio que foi executado por seu avô, Tito Mânlio Capitolino Imperioso, por desobedecer suas ordens. Tito Mânlio Torquato, cônsul em 235 a.C., era seu filho.

Tito Mânlio Imperioso Torquato
Tito Mânlio Imperioso Torquato (em latim: Titus Manlius Imperiosus Torquatus) foi um político da gente Mânlia da República Romana, eleito cônsul por três vezes, em 347, 344 e 340 a.C., com Caio Pláucio Venão Ipseu, Caio Márcio Rutilo e Públio Décio Mus respectivamente. Foi também nomeado ditador em 353 e, novamente, em 349 a.C. Era filho de Lúcio Mânlio Capitolino Imperioso, ditador em 363 a.C.

Comandou as forças romanas durante a Segunda Guerra Latina e era considerado um exemplo de bravura e severidade pelos romanos.
Qualificatórias para o Campeonato Mundial de Voleibol Feminino de 2002 - CSV
As Qualificatórias para o Campeonato Mundial de Voleibol Feminino de 2002- CSV foi o torneio pré-mundial organizado pela  CSV  no período de de 6 a 8 de julho, na cidade de  Santa Fe, no qual qualificou duas seleções da América do Sul para o  Mundial da Alemanha de 2002, com a participação de quatro seleções.

Brasil e Argentina foram os países que garantiram vaga para o referido mundial mediante este torneio

Confederação Sul-Americana de Voleibol
A Confederação Sul-Americana de Voleibol (em espanhol: Confederación Sudamericana de Voleibol), também conhecida pelo acrônimo CSV,  é uma associação sem fins lucrativos que regula o esporte do voleibol na América do Sul, responsável pelo controle, promoção e organização de competições internacionais, cursos, conferências e outras atividades de caráter educativo. A CSV é afiliada à Federação Internacional de Voleibol (FIVB) e tem como presidente, desde 2021, o brasileiro Marco Tullio Teixeira.
Brasão de armas do Montenegro
O Brasão de armas de Montenegro (em montenegrino: Грб Црне Горе, Grb Crne Gore) foi confirmado pela nova Constituição proclamada em 2 de Outubro de 2007, previamente aprovada por um acto do Parlamento, em 12 de Julho de 2004. Ele substituiu o antigo brasão de armas, a principal diferença é que a águia dourada com duas cabeças, em vez da tradicional branca que, muitas vezes causa polémica entre heráldistas. Agora, é o motivo central da Bandeira do Montenegro, que também mudou, em 2004, bem como o brasão de armas do Exército de Montenegro.

Bandeira do Montenegro
A versão actual da Bandeira do Montenegro aparece descrita no artigo 4.º da lei que regula os seus símbolos e foi aprovada pelo parlamento do Montenegro a 12 de Julho de 2004.

A bandeira é vermelha debruada a dourado, e figura na sua parte central o escudo do Montenegro, adoptado em 1993. A altura do escudo é de 2/3 da bandeira. Este escudo foi o brasão do Rei Nicolau I de Montenegro mas eliminaram-se as suas iniciais HI (em cirílico) da figura.
Templo de Belona (Óstia)
O Templo de Belona é um templo ou sacelo dedicado à deusa itálica Belona (possivelmente aqui sincretizada com Magna Mater) em Óstia Antiga.

Encontra-se no lado leste do "Campo di Magna Mater" (Regio IV, Insula THE, n. 4) e é composto por um pequeno edifício com cela precedido por duas colunas e três degraus frontais. Tudo, incluindo as colunas, é feito de tijolos. O interior da cella inclui um pódio baixo na parte de trás, paredes com afrescos, um piso de mosaico branco e um limiar de mármore com os furos para os pivôs da porta.

No templo foi encontrado um relevo de dois pares de pés, voltados em direções opostas — talvez uma oferenda votiva de um soldado que partiu para a guerra e retornou em segurança.

Cibele
Cibele era uma deusa originária da Frígia. Designada como "Mãe dos Deuses" ou Deusa mãe, simbolizava a fertilidade da natureza. O seu culto iniciou-se na região da Ásia Menor e espalhou-se por diversos territórios da Grécia Antiga. Sob o antigo título grego, Potnia Theron, também foi associada à deusa-mãe minoica, cujo culto remonta ao período neolítico da "Senhora dos Animais". Cibele tornou-se uma divindade do ciclo de vida-morte-renascimento ligada à ressurreição do filho e amante Átis.
The Rescue (filme de 1917)
The Rescue é um filme mudo norte-americano de 1917, do gênero drama, dirigido por Ida May Park e estrelado por Lon Chaney. Ida May Park também escreveu o roteiro do filme, juntamente com Hugh McNair Kahler.

Lon Chaney
Leonidas Frank Chaney, mais conhecido como Lon Chaney (Colorado Springs, 1 de abril de 1883 – Hollywood, 26 de agosto de 1930), foi um actor norte-americano, filho de pais surdos.

Este ator especializou-se em representar personagens monstruosos, atormentados e grotescos, extremamente bem caracterizados, tendo ele próprio inventado uma técnica de maquiagem. Ficou sendo chamado pelos críticos de cinema da época de "O homem das mil faces".

Em 1957, foi retratado no filme The Man of a Thousand Faces, pelo ator James Cagney.

É pai do ator Lon Chaney Jr.
Wilhelm Reiß
Johann Wilhelm Reiß (Mannheim, 13 de junho de 1838 — Könitz (Saalfeld), 29 de setembro de 1908), mais conhecido por Wilhelm Reiß ou W. Reiss, foi um geólogo e explorador, pioneiro da moderna vulcanologia, que se notabilizou na exploração geológica dos Andes. Em companhia de Ángel Escobar, fez a primeira escalada de exploração científica do Cotopaxi (em 1872), e com o vulcanologista Alphons Stübel escalou e explorou o Tungurahua (em 1873).

Mannheim
Mannheim é uma cidade independente da Alemanha, no estado de Baden-Württemberg. Localiza-se na confluência dos rios Reno e Neckar. A cidade tem cerca de 310 mil habitantes, mais a sua aglomeração urbana, que engloba Heidelberg e Ludwigshafen.
Apelo à vaidade
O apelo à vaidade é uma falácia lógica que se vale da vaidade do interlocutor para buscar apoio em uma discussão. A adulação é normalmente usada para esconder a verdadeira intenção de uma proposta, causando um momento de distração e enfraquecendo o raciocínio crítico do interlocutor. Pode ser vista como uma forma astuta de argumentum ad consequentiam, onde a consequência é a interrupção da adulação e de apelo à emoção.

Argumentum ad consequentiam
A expressão latina argumentum ad consequentiam ("argumento por consequência") é o argumento pelo qual uma premissa é verdadeira ou falsa em função das consequências desejadas ou indesejadas a que ela conduz. Este raciocínio é uma variedade do apelo à emoção e uma forma de falácia lógica, uma vez que o valor de uma premissa não depende do nosso desejo. Além disso, esse raciocínio possui sempre um conteúdo subjetivo.
Anik D1
O Anik D1 (também conhecido por Telesat G) foi um satélite de comunicação geoestacionário canadense da série Anik, construído pela Hughes. Ele esteve localizado na posição orbital de 104,5 graus oeste e era administrado pela Telesat Canada, com sede em Ottawa no Canadá. O satélite foi baseado na plataforma HS 376. O mesmo ficou fora de serviço em fevereiro de 1995.

Boeing 376
Boeing 376 (também referido como BSS-376, e anteriormente de HS-376) é um modelo de plataforma de satélites, desenvolvido inicialmente pela Hughes Aircraft Company (que depois foi incorporada à Boeing).

Satélites que usam essa plataforma, são do tipo dual-spinner, formados por duas partes de formato aproximadamente cilíndrico que rodam com velocidade de rotação diferente. Uma parte roda de forma sincronizada com a Terra, e é a plataforma onde fica a antena de comunicações. A outra parte roda em alta velocidade (em torno de 55 rotações por minuto), e nela ficam os tanques de combustível, os jatos e os painéis solares.
Étienne Geoffroy Saint-Hilaire
Étienne Geoffroy Saint-Hilaire (Étampes, 15 de abril de 1772 — Paris, 19 de junho de 1844) foi um naturalista e zoólogo francês. É considerado o fundador da teratologia, ramo da medicina que estuda as malformações congênitas.

Zoologia
A zoologia (do grego antigo: ζώο, zôion, 'animal'; e -λογία, -logia, 'estudo') ou biologia animal é o ramo da biologia especializado no estudo científico dos animais. O profissional especializado em zoologia é chamado zoólogo ou, às vezes, zoologista.
Democracia e Liberdade (Catalunha)
Democracia e Liberdade (em catalão: Democràcia i Llibertat, DiL) foi uma coligação eleitoral da Catalunha, formada para concorrer às Eleições gerais na Espanha em 2015.

A coligação anunciou o seu nome a 6 de Novembro de 2015, e, nela concorreram Convergência Democrática da Catalunha, Democratas da Catalunha e Reagrupament e, o número um da lista será Francesc Homs, ministro no Governo Regional da Catalunha.

Tanto Francesc Homs como grande parte desta coligação fazem agora parte do Partido Democrático Europeu Catalão, herdeiro da Convergência Democrática da Catalunha.

Convergência Democrática da Catalunha
A Convergência Democrática da Catalunha (em catalão: Convergència Democràtica de Catalunya, CDC) é um partido político da Catalunha, Espanha. Fundada em 1974, é um partido de ideologia liberal  e que defende a independência da Catalunha  . O seu líder histórico foi Jordi Pujol, que foi presidente da região autónoma da Catalunha de 1980 a 2004. A Convergência Democrática da Catalunha, de 1978 a 2015, fez parte da coligação Convergência e União, conjuntamente com a União Democrática da Catalunha, que ocupou papel de relevo na política de Espanha, mas terminou pela questão da independência da Catalunha. 
O atual líder é Vicenç Mauri i Claret, conta com cerca de 60.000 membros e faz parte da coligação Juntos pela Catalunha, conjuntamente com outros partidos e movimentos nacionalistas catalães.
El Catllar
El Catllar (nome oficial) ou simplesmente Catllar é um município da Espanha, na comarca do Tarragonès, província de Tarragona, comunidade autónoma da Catalunha. Tem 26,43 km² de área e em 2021 tinha 4 740 habitantes (densidade: 179,3 hab./km²). Limita com os municípios de Tarragona, La Secuita, Renau, Vespella de Gaià, La Riera de Gaià, Els Pallaresos e La Nou de Gaià.

Tarragona
Tarragona é uma cidade e município da Espanha, capital da província homónima e da comarca de Tarragonès, na comunidade autónoma da Catalunha. O município tem 63 km² de área e em 2021 tinha 135 436 habitantes (densidade: 2 149,8 hab./km²).

Situa-se cerca de 100 km a sudoeste de Barcelona. É banhada pelo mar Mediterrâneo. Tem grande tradição histórica cultural, é destino de muitos turistas, tanto por suas praias como por seu património histórico e artístico. As ruínas da antiga cidade romana de Tarraco estão inscritas na lista de Património Mundial da UNESCO desde 2000 com a designação de "Conjunto Arqueológico de Tarraco".
The Head on the Door
The Head on the Door é o sexto álbum de estúdio da banda inglesa de rock The Cure, lançado em 26 de agosto de 1985 pela Fiction Records.

Precedido pelo single "In Between Days", que alcançou a 15ª posição no UK Singles Chart, The Head on the Door foi descrito pela Melody Maker como "uma coleção de canções pop". Com sua variedade de estilos, o álbum permitiu que o grupo alcançasse um público mais amplo tanto na Europa quanto na América do Norte. No Reino Unido, tornou-se seu álbum de maior sucesso até hoje, entrando na parada de álbuns no 7º lugar.

O álbum é o primeiro a apresentar o baterista Boris Williams. O baixista Simon Gallup, que já havia trabalhado em três grandes álbuns do Cure no início dos anos 80, foi chamado de volta antes da gravação. Em 1985 a banda se tornou um quinteto com o instrumentista Porl Thompson como seu quinto membro oficial.

Simon Gallup
Simon Jonathon Gallup (Surrey, 1 de junho de 1960) é um músico e compositor britânico. É o baixista da banda de rock inglesa The Cure desde 1984, sendo que ocupou o mesmo posto na banda entre 1979 e 1982. É o segundo integrante com mais tempo no grupo, após o vocalista Robert Smith. Anteriormente ao The Cure, tocou no Lockjaw e The Magazine Spies.
The Darkest Knight
"The Darkest Knight" é o 10º episódio da 7ª temporada da série de televisão Pretty Little Liars, que foi ao ar no canal a cabo Freeform em 30 de agosto de 2016, servindo como divisor da temporada. O episódio foi escrito pela showrunner I. Marlene King e pela produtora executiva Maya Goldsmith, e dirigido por Arlene Sanford. "The DArkest Knight" atraiu um índice de 0.7 nos demográficos 18-49 de acordo com o Nielsen rating e foi assistido por mais de 1.33 milhões de espectadores em sua transmissão original.

Arlene Sanford
Arlene Sanford é uma diretora de televisão estadunidense. Entre seus créditos podemos encontrar episódios de Medium, What About Brian, Psych, Desperate Housewives e Everwood, nos quais ela atuou como diretora.

Portal de biografias

Portal da televisão

Portal dos Estados Unidos
Herbert Haddock
Herbert James Haddock (Rugby, 27 de janeiro de 1861 – Southampton, 4 de outubro de 1946) foi um marinheiro britânico mais conhecido por ter sido o capitão do RMS Olympic no momento do naufrágio do RMS Titanic. Ele foi o primeiro capitão do Titanic, supervisionando o navio em Belfast de 25 a 31 de março de 1912.

Rugby (Inglaterra)
Rugby é uma cidade do condado de Warwickshire no médio oeste da Inglaterra, situada sobre o rio Avon. Possui uma população de 61 988 habitantes segundo o censo de 2001.

A cidade é conhecida por ser o lugar do nascimento do rugby.
Eleita
Eleita é uma série de televisão brasileira produzida pela Amazon Prime Video em parceria com a produtora Conspiração. A produção foi lançada em 7 de outubro de 2022 no streaming.

A série é uma abordagem cômica sobre uma personalidade digital que se torna governadora do seu estado devido aos seus seguidores nas redes sociais. Foi criada por Clarice Falcão e Célio Porto, o qual liderou o roteiro em parceria com Clarice, Juliana Capelini, Renata Brandão e Carolina Jabor. Teve direção geral de Carolina Jabor e foi dirigida por Rodrigo Van Der Put, com produção executiva de Juliana Capelini, Renata Brandão e Carolina Jabor.

A série é protagonizada por Clarice Falcão, que interpreta a governadora eleita Fefê Pessoa, e conta com Diogo Vilela, Polly Marinho, Bella Camero e Rodrigo Delgado nos demais personagens principais, além das participações especiais de Ingrid Guimarães, Cristina Pereira, Luis Lobianco e Suely Franco em sua primeira temporada.

Cristina Pereira
Maria Cristina Teixeira Pereira, mais conhecida como Cristina Pereira (São Paulo, 9 de agosto de 1950), é uma atriz, humorista, apresentadora e diretora brasileira. Foi integrante do extinto programa TV Pirata, grande sucesso da comédia, gênero de boa parte de seu trabalho. É filiada ao Movimento Humanos Direitos.
Acıgöl
Acıgöl, antigamente Dobada, é um distrito (em turco:  ilçe) da região histórica da Capadócia, pertencente à província de Nevşehir e à região administrativa da Anatólia Central da Turquia. Em 2009 a sua população era de 21 450 habitantes, dos quais 5 854 moravam na cidade. Situa-se a cerca de 20 km em linha reta a este-sudeste de Nevşehir e faz fronteira com as províncias de  de Aksaray e Niğde.

Acıgöl significa "lago amargo" ou "lago da dor" (aci = amargo ou dor; göl = lago).

Nevexequir
Nevexequir (em turco: Nevşehir), no passado chamada Muşkara, é uma cidade e distritod a Turquia situada na região histórica e turística da Capadócia. É capital da província homônima da região da Anatólia Central. A cidade situa-se a uma altitude de 1 224 m e a 290 km a sul da capital nacional, Ancara. O distrito tem 574 km² de área e em dezembro de 2021 tinha 153 117 habitantes (densidade: 266,8 hab./km²), dos quais 120 599 na cidade.

Alguns historiadores sugerem que Nevexequir pode ser a sucessora da antiga cidade de Níssa (em grego clássico: Νύσσα; romaniz.: Nýssa), sede da diocese onde o eminente teólogo e Padre da Igreja Gregório de Níssa foi bispo, uma hipótese a que os acadêmicos modernos não dão muito crédito.
Endless Ocean Luminous
Endless Ocean Luminous (フォーエバーブルー ルミナス, Fōebāburū ruminasu) é um jogo eletrônico de aventura e mergulho autônomo desenvolvido pela Arika e publicado pela Nintendo para Nintendo Switch. Ele é o terceiro jogo da série Endless Ocean e o primeiro desde Endless Ocean 2: Adventures of the Deep, lançado em 2009 para Wii.

Assim como nos jogos anteriores, o jogador assume o papel de um mergulhador encarregado de encontrar e documentar a vida marinha. Além disso, o jogo apresenta um modo multijogador online que permite que grupos de até 30 jogadores explorem juntos. O jogo foi anunciado em um Nintendo Direct Partner Showcase em fevereiro de 2024 e lançado em 2 de maio de 2024.

Arika
Arika (株式会社アリカ, Kabushiki gaisha Arika) é uma desenvolvedora e editora japonesa de videogames. Foi formada em 1995 por ex-funcionários da Capcom, originalmente como ARMtech K.K, mais tarde chamada Arika. O nome da empresa é o reverso do nome do fundador da empresa, Akira Nishitani, que junto com Akira Yasuda, criou Street Fighter II. O primeiro jogo de Arika foi Street Fighter EX. Ele foi bem sucedido e foi seguido com duas atualizações (Street Fighter EX + e EX + α), e são duas sequências Street Fighter EX2 e Street Fighter EX3. Em 2018, eles lançaram um sucessor espiritual para Street Fighter EX e Fighting Layer (publicado pela Namco), intitulado Fighting EX Layer. De 2019 a 2021, Arika colaborou com a Nintendo para criar os jogos battle royale Tetris 99, Super Mario Bros. 35 e com a Bandai Namco para Pac-Man 99. Arika também é conhecida pela série Tetris: The Grand Master, a série do Dr. Mario e a série Endless Ocean.
RE (complexidade)
Em Teoria da Computabilidade e na Teoria da Complexidade Computacional, RE (recursivamente enumerável) é uma classe de problemas de decisão onde uma resposta "sim" pode ser verificada por uma máquina de Turing em uma quantidade finita de tempo. Informalmente, isto significa que se a resposta é "sim", então existe algum procedimento que leva um tempo finito para determinar isso. Por outro lado, se a resposta é "não", a máquina poderá nunca parar. Equivalentemente, RE é uma classe de problemas de decisão para que uma máquina de Turing pode listar todas as instâncias "sim", uma por uma (isto é o que 'enumerável' significa).

Similarmente, co-RE é o conjunto de todas as linguagens que são complementos de uma linguagem em RE. De certo modo, co-RE contém linguagens em que a pertinência pode ser refutada em uma quantidade finita de tempo, mas provar a pertinência poderá levar uma eternidade.

Cada membro de RE é um recursivamente enumerável e, portanto, um conjunto diofantino.

Conjuntos recursivamente enumeráveis
Na Teoria da computabilidade, tradicionalmente chamada teoria da recursão, um conjunto S de números naturais é chamado recursivamente enumerável, computavelmente enumerável, semi-decidível, demonstrável ou Turing-reconhecível se:

Existe um algoritmo tal que o conjunto de números de entrada para qual o algoritmo pára é exatamente o conjunto de números em S.

Ou, equivalentemente,

Existe um algoritmo que enumera os membros de S. Isso significa que sua saída é simplesmente uma lista de membros de S:  s1, s2, s3, ... . Se necessário, esse algoritmo pode rodar para sempre.

A primeira condição sugere porque o termo semi-decidível às vezes é usado; o segundo sugere porque computavelmente enumerável é usado.

Na teoria de complexidade computacional, a classe de complexidade que contém todos os conjuntos recursivamente enumeráveis é RE (recursivamente enumerável). Na teorica da recursão, o Reticulado de conjuntos recursivamente enumeráveis sobre inclusão é denominado .