hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Vall d'Albaida
Vall d'Albaida é uma comarca da Comunidade Valenciana, na Espanha. Está localizada na província de Valência, e sua capital é o município de Ontinyent. Limita com as comarcas de Costera, Safor, Comtat, Alcoià e Alto Vinalopó.

Valência (província)
Valência (em valenciano: València) é uma província de Espanha no este da Espanha, no extremo da comunidade autónoma homónima. A sua capital é Valência.

Dos cerca de 2 400 000 habitantes, aproximadamente 30% vivem na capital, que é também a capital da Comunidade Valenciana. A província subdivide-se administrativamente em 265 municípios.

A esta província correspondem 16 lugares no Congresso dos Deputados e 36 nas Corts Valencianes.
Abaixo de Zero: Hello Hell
Abaixo de Zero: Hello Hell é o terceiro álbum de estúdio do rapper Black Alien, lançado no dia 12 de abril de 2019. No álbum, que foi produzido pelo beatmaker Papatinho, Black Alien versa sobre temas como saúde mental, dependência química, política e sociedade. Considerado um marco na carreira do rapper, Hello Hell recebeu os prêmios de álbum do ano da Multishow e da Associação Paulista de Críticos de Arte (APCA). Junto ao álbum, foram lançados três videoclipes, para as faixas "Que Nem o Meu Cachorro", "Vai Baby" e "Carta Para Amy".

Drogadição
Drogadição (português brasileiro) ou toxicodependência (português europeu) são termos genéricos que designam toda e qualquer modalidade de vício bioquímico por parte de um ser humano, ou a alguma droga (substância química), ou à superveniente interação entre drogas (substâncias químicas), causada ou precipitada por uma combinação de fatores genéticos, farmacológicos e sociais, incluídos os socioeconômicos.
Eutímio Tornício
Eutímio Tornício ou Tornice (em grego: Εὐθύμιος Τορνίκης/Τορνίκιος; fl. 1181-1222) foi um oficial eclesiástico e escritor bizantino. Foi o filho do logóteta do dromo Demétrio Tornício e um membro da família Tornício, de origem principalmente armênia e georgiana que entrou no serviço bizantino em meados do século X. É mencionado pela primeira vez como um diácono em 1181, e morreu no Despotado do Epiro em algum momento após 1222.

É melhor conhecido por seus discursos retóricos, essencialmente aqueles preservados do período 1200-1205, tais como seu panegírico do fracasso do golpe de João Comneno, o Gordo, ou monodias sobre a morte de seu pai e de seu amigo íntimo e parente, o metropolita de Neopatras Eutímio Maláces. De acordo com Alexander Kazhdan, seus "trabalhos retóricos são muito convencionais", com apenas a monódia sobre a morte de seu pai exibindo um tom pessoal, "descrevendo tanto as características da família e, ternamente, a morte de Demétrio".

Logóteta postal
O logóteta postal, logóteta do curso ou logóteta do dromo (em grego: λογοθέτης τοῦ δρόμου; romaniz.: Logothetes tou dromou) foi o chefe do departamento do dromo, o curso público (em latim: cursus publicus; em grego: δημόσιος δρόμος; romaniz.: dēmosios dromos ou ὁ δρόμος), e um dos ministros mais elevados (logóteta) do Império Bizantino.
Grupo de Contato Internacional sobre a Libéria
O Grupo de Contato Internacional sobre a Libéria (em inglês:  International Contact Group on Liberia, ICGL), composto por membros das Nações Unidas, da Comunidade Econômica dos Estados da África Ocidental (CEDEAO), da União Africana, Banco Mundial, Estados Unidos, Gana, Nigéria, Reino Unido, Alemanha, Espanha e Suécia., foi formado a partir da necessidade de uma resposta internacional e regional aos conflitos liberianos (Primeira Guerra Civil da Libéria e Segunda Guerra Civil da Libéria). O Grupo de Contato Internacional foi citado pelo Acordo Geral de Paz de Accra com uma série de tarefas, principalmente garantindo a implementação fiel do acordo por todas as partes.

Banco Mundial
O Banco Mundial (World Bank) é uma instituição financeira internacional que efetua empréstimos a países em desenvolvimento. É o maior e mais conhecido banco de desenvolvimento no mundo, além de possuir o estatuto de observador no Grupo de Desenvolvimento das Nações Unidas e em outros fóruns internacionais, como o G-20 financeiro. A sede do banco está situada em Washington, D.C., Estados Unidos da América. O Banco Mundial é parte do Grupo do Banco Mundial.

A missão do banco é alcançar o duplo objetivo de erradicar a pobreza extrema e de construir uma prosperidade compartilhada. O Banco Mundial é composto por duas organizações que funcionam sob uma mesma estrutura: o Banco Internacional para Reconstrução e Desenvolvimento (BIRD) e a Associação Internacional de Desenvolvimento (IDA ou AID).
Bad Robot Productions
Bad Robot Productions (comumemte conhecida como Bad Robot) é uma companhia de produção para cinema e televisão, pertencente a J. J. Abrams. A companhia é responsável pela produção das séries Felicity, Alias, Lost, What About Brian, Fringe, Six Degrees e Undercovers, e pelos filmes Mission: Impossible III (2006), Cloverfield (2008), Star Trek (2009) e Super 8 (2011).

A Bad Robot era, originalmente, parte da Touchstone Television, porém foi movida com Abrams para a Paramount Pictures, Columbia Pictures, Universal Pictures, Screen Gems, Walt Disney Pictures, Lionsgate e Warner Bros. após o contrato com a Touchstone terminar em 2006.

Abrams atua como Presidente e Chefe Executivo do estúdio, enquanto Bryan Burk atua como Vice Presidente Executivo da companhia.

What about Brian
What About Brian foi uma dramédia estadunidense criada por Dana Stevens e co-produzida por J. J. Abrams. A série é exibida pelo canal americano ABC e no Brasil pelo canal pago Sony Entertainment Television. Em Portugal, foi exibido em 2007.
Orcômeno (Beócia)
Orcômeno (português brasileiro) ou Orcómeno (português europeu) é uma cidade da Beócia, Grécia, localizada junto à foz do rio Cefiso. Capital dos mínios, povo vindo da Tessália. Era centro do culto das Graças, em cuja homenagem se realizavam festas musicais.

Beócia
A Beócia (em grego: Βοιωτιά, Moderno: [vi.oˈti.a], Antigo: [bojjɔːtí.a]; em latim Boeotia) é uma unidade regional da Grécia, localizada na região da Grécia Central. Sua capital é a cidade de Livadiá.

A Beócia está situada entre os golfos de Eubeia e Corinto, onde na Antiguidade havia muitas póleis, dentre elas Tebas (a principal), Plateias e Téspias.
La Bohème
La Bohème é uma ópera em quatro atos de Giacomo Puccini, com libreto de Luigi Illica e Giuseppe Giacosa, baseado no romance de Henri Murger, Scènes de la vie de bohème. Estreou no Teatro Regio de Turim em 1 de fevereiro de 1896, sob a regência de Arturo Toscanini.

No Brasil teve sua estreia no Theatro da Paz, em Belém do Pará, no dia 21 de abril durante a temporada lírica de 1900. Fizeram parte do elenco a soprano brasileira Tilde Maragliano como Mimì, Maria Cavallini como Musetta, Giuseppe Agostini como Rodolfo e Alessandro Modesti como Marcello. A regência foi do maestro Giorgio Polacco.

Teatro Regio di Torino
O Teatro Regio di Torino (em português: Teatro Real de Turim) é um teatro de ópera italiano. Se localiza na Piazza Castello de Turim, Piemonte, Itália. É uma das Residências da Casa de Saboia e sua fachada foi declarada Patrimônio da Humanidade pela Unesco em 1997. Sedia uma renomada companhia de ópera que leva o nome do teatro. Sua temporada vai de outubro a junho durante a qual são apresentadas em média de 8 óperas anuais.
Topónimos celtas na Galiza
A toponímia celta da Galiza é a totalidade dos topónimos de locais antigos e atuais, rios (hidrónimos) ou montanhas nomeados na língua celta e que têm etimologia celta, e que situam-se ou situavam-se dentro dos limites da Galiza atual.

Hidrônimo
Um hidrônimo(pt-BR) ou hidrónimo(pt-PT?) é um topônimo que se refere a um rio ou a um curso de água. Mais precisamente, é o nome próprio de um rio, e como tal é objeto de estudo da toponímia, uma divisão da onomástica.

Eles podem ser classificados de várias maneiras, como:

pela estrutura de formação: EX.: Rio Guadiana→ uádi = rio em árabe + anas ("dos patos", em latim) = rio dos patos. É comum o nome ser formado pelo termo equivalente nos vários idiomas que foram falados em uma região.

por transformação: de um termo antigo: Ana = rio → ann → Dan →Rio Dão, também temos Ana = rio → ann → omm → Rio Homem.

por uso de nomes nativos: Rio Paraná (tupi).

por batismo com hagiônimos: Rio São Francisco.

por batismo com termos da mitologia greco-romana: Rio Amazonas
Adjudicação
Adjudicação é o ato judicial mediante o qual se declara e se estabelece que a propriedade de uma coisa (bem móvel ou bem imóvel) se transfere de seu primitivo dono (transmitente) para o credor (adquirente), que então assume sobre ela todos os direitos de domínio e posse inerentes a toda e qualquer alienação. A Ação Adjudicatória é aquela por meio da qual adjudica-se, atribui-se compulsoriamente a propriedade imóvel a alguém, por força de decisão judicial.

Também pode ser usado para descrever a última fase do processo de licitação, na seara administrativa, que nada mais é do que o ato que dá a expectativa de direito ao vencedor da licitação, ficando o Estado obrigado a contratar exclusivamente com aquele. O Estado poderá não firmar o contrato administrativo, porém, se o fizer, terá de ser com o licitado.

Alienação
Alienação (do latim alienatione) nas Ciências sociais, é um conceito que designa indivíduos que estão alheios a si próprios ou a outrem  tornando-se escravos de atividades ou instituições humanas, devido a questões econômicas, sociais ou ideológicas. Desta forma, refere-se também à diminuição da capacidade dos indivíduos em pensarem e agirem por si próprios. Há quem defina a alienação como "a falta de consciência por parte do ser humano de que ele possui um grau de responsabilidade na formação do mundo a seu redor, e vice-versa".

Deste conceito filosófico-sociológico, derivaram-se outros usos da palavra, como por exemplo, na psiquiatria, pode ser usada como um sinônimo de loucura. No Direito, existem a alienação de um bem, a Alienação parental e a Alienação fiduciária. Ainda que a alienação seja um conceito a priori filosófico, existe o conceito de alienação mais propriamente na Filosofia Marxista.
Dirty Computer
Dirty Computer é o terceiro álbum de estúdio da cantora americana Janelle Monáe. Foi lançado em 27 de abril de 2018, através das gravadoras Wondaland Arts Society, Bad Boy Records e Atlantic Records. O álbum é o sucessor de The ArchAndroid (2010) e The Electric Lady (2013) e o primeiro a não seguir a narrativa metrópole de seu pseudônimo Cindi Mayweather. O álbum conceitual contou com três singles, "Make Me Feel", "Django Jane" e "Pynk", além de "I Like That" como um single promocional e um filme em narrativa com duração de 46 minutos. O álbum foi muito bem recebido pela crítica e se tornou um dos melhores álbuns de 2018, recebeu duas indicações na 61.ª cerimônia anual do Grammy Awards incluindo Álbum do Ano e Melhor Videoclipe com seu single "Pynk", em parceria com a artista canadense Grimes.

Bad Boy Records
Bad Boy Records (também conhecida como Bad Boy Entertainment) é uma gravadora americana fundada em 1993 por Sean Combs. Funciona como uma marca da Epic Records, uma divisão da Sony Music Entertainment. Seu artista mais famoso foi The Notorious B.I.G. nos anos 90.
Marguerite Rouvière
Marguerite Marie Charlotte Rouvière (Pertuis, 27 de junho de 1889 – Jouques, 30 de janeiro de 1966) é famosa por ser primeira mulher admitida na Escola Normal Superior de Paris (1910) e a primeira mulher a obter a agregação em física (1913). Depois disso, ela ensina física no Lycée Carnot, Fénelon (1936-1942, depois 1943) e Victor-Duruy (1943-1947).

Em seguida, ela lecionou principalmente em escolas secundárias, em aulas preparatórias científicas e publicou duas traduções de livros científicos.

Escola Normal Superior de Paris
A Escola Normal Superior de Paris (também conhecida como ENS-Ulm ou Ulm) é uma grande école francesa, cujo campus principal está situado na rue d'Ulm, no 5º arrondissement de Paris. É vinculada diretamente ao Ministério do Ensino Superior e da Pesquisa da França.

Suas origens remontam a 1794, quando foi criada a École normale pela Convenção nacional. A escola reunia efetivamente professores particularmente brilhantes, marcados pelo espírito das Luzes, tais como os cientistas Monge, Vandermonde, Daubenton e Berthollet ou os escritores e filósofos Bernardin de Saint-Pierre e Volney. Pouco tempo depois, o estabelecimento foi fechado para ressurgir em 1808, já sob Napoleão Bonaparte.

Entre os antigos alunos da ENS-Paris, encontram-se oito ganhadores da Medalha Fields, o maior galardão concedido no campo das matemáticas, assim como ganhadores do Prêmio Nobel em ciências e literatura.
Movimento Tishreen
O  Movimento Tishreen é um movimento social no Iraque. O movimento surgiu durante os protestos de 2019-2021, em paralelo com protestos semelhantes no Líbano e no Sudão. O principal centro de protestos organizados pelo movimento foi a Praça Tahrir, em Bagdá, com outros protestos ocorrendo em Basra e Najaf. Após meses de protestos, o movimento conseguiu forçar a renúncia do governo do primeiro-ministro Adil Abdul-Mahdi.

Baçorá
Baçorá ou Basra (em árabe: البصرة; romaniz.: al-Baṣrah; em inglês: Basra; em francês: Bassora) é uma das três maiores cidades do Iraque. Capital da província homônima, a cidade é o principal porto do país. Encontra-se às margens do rio Xatalárabe, a 55km do Golfo Pérsico e a 545km de Bagdá, a capital iraquiana.
Abílio Fernandes (botânico)
Abílio Fernandes (Maçainhas, Guarda, 19 de outubro de 1906 — Sé Nova, Coimbra, 7 de outubro de 1994) foi um botânico e taxonomista português, conhecido pelas suas obras sobre as Amarilidáceas, tendo elaborado a flora de Portugal, Macaronésia e da África tropical.

Macaronésia
Macaronésia é um nome moderno para designar os vários grupos de ilhas (ou arquipélagos) no Atlântico Norte, perto da Europa e da África. Por este nome tanto se pode entender estes arquipélagos como a região biogeográfica ou ecozona correspondente (a nível terrestre e marítimo).
Raphaella Monteiro
Raphaella Monteiro da Silva (Rio de Janeiro, 28 de janeiro de  1995) é uma basquetebolista profissional brasileira que atua como ala.

Raphaella Monteiro fez parte do elenco da Seleção Brasileira de Basquetebol Feminino no Pan de Lima de 2019, em Lima.

Jogos Pan-Americanos de 2019
Os Jogos Pan-Americanos de 2019, oficialmente denominados XVIII Jogos Pan-Americanos, foi um evento multiesportivo realizado entre 26 de julho e 11 de agosto na cidade de Lima, no Peru. Durante os dezessete dias de competições, mais de 6 mil atletas de 41 países competiram em 419 eventos de 43 modalidades. Lima foi eleita sede dos Jogos em 2013, vencendo as cidades de La Punta, na Argentina, Santiago, no Chile, e Bolívar, na Venezuela.

De 23 de agosto a 1º de setembro do mesmo ano aconteceram os Jogos Parapan-Americanos, que foram organizados e geridos pelo mesmo comitê organizador. Foi a primeira vez que uma cidade peruana recebeu uma edição dos Jogos Pan-Americanos. Além da capital peruana, as competições foram realizadas também nos distritos de Callao, Huacho, Ica, Punta Negra, Cañete e Lunahuaná.
Flávio Renegado
Flávio de Abreu Lourenço, o Flávio Renegado (Belo Horizonte, MG, 1982) é cantor e compositor autodidata de rap, funk, hip hop,samba, mpb e reggae brasileiros.  Artista com origem na favela apropriou-se de um conciso discurso ativista social. Lançou em 2008 seu primeiro álbum Do Oiapoque a Nova York e em 2011 o segundo álbum chamado Minha Tribo é o Mundo , o dvd ao vivo Suave ao Vivo(2014) e em 2015, o  EP Relatos de um Conflito Particular.

Samba
Samba é um gênero musical brasileiro originado a partir de tradições afro-brasileiras da Bahia no final do século XIX e desenvolvido no Rio de Janeiro no início do século XX. A palavra também é usada como prefixo para suas derivações, como o samba urbano carioca ou o samba de roda.
Vanderlei Paiva
Wanderley Paiva Monteiro, mais conhecido como Vanderlei Paiva (Três Corações, 7 de abril de 1946 — Campinas, 27 de novembro de 2023), foi um treinador e futebolista brasileiro, que atuava como meio-campista.

Atuou por quase uma década como profissional pelo Atlético-MG.

Três Corações
Três Corações é um município brasileiro do estado de Minas Gerais. Está localizado na Região Geográfica Imediata de Três Corações e na Região Geográfica Intermediária de Varginha.

Com 78 079 habitantes em 2024 e cerca de 828 km² de área, é um dos principais centros urbanos do sul do estado. Situa-se a cerca de 287 km de distância da capital estadual, Belo Horizonte.
Samson (filme)
Samson é um filme bíblico de 2018 dos gêneros drama ação, dirigido por Bruce Macdonald. É inspirado na história de Sansão no Livro dos Juízes e estrelado por Taylor James no papel central, junto com Caitlin Leahy, Jackson Rathbone, Billy Zane, Rutger Hauer e Lindsay Wagner.

Livro dos Juízes
O Livro dos Juízes (em hebraico:  ספר שופטים, Sefer Shoftim) é um dos livros do Tanakh e do Antigo Testamento, que integra a seção do Nevi'im e dos livros históricos. Narra o período entre a conquista da Terra Prometida e o estabelecimento da monarquia, onde o povo era liderado por heróis épicos conhecidos como juízes.

As histórias seguem um padrão consistente por todo o livro: o povo se mostra infiel a Javé, que, por isso, os entrega na mãos de seus inimigos; o povo se arrepende e implora misericórdia a Javé, que lhes envia um líder ou campeão ("juiz"); o juiz liberta os israelitas da opressão e eles prosperam, mas logo caem novamente na falta de fé e o ciclo se repete. Estudiosos consideram que muitas das histórias em Juízes são as mais antigas da história deuteronômica com uma grande redação no século VIII a.C.; alguns trechos, como o "Cântico de Débora", são muito mais antigos e podem ser de uma época próxima à que o livro relata.
Episcépse
Episcépse  (em grego: ἐπίσκεψις; romaniz.: episkepsis; lit. "cuidado, inspeção"; pl. ἐπισκέψεις, episképseis) foi um distrito fiscal do Império Bizantino Médio (séculos X-XIII). Em seu sentido estritamente técnico, refere-se ao domínio ou outra propriedade, em alguns casos incluindo vilas ou cidades inteiras, alocadas para o apoio de indivíduos da família imperial, casas nobres ou igrejas e mosteiros. Como o historiador Paul Magdalino mostra, estes episcépses foram majoritariamente situados nos litorais em torno do mar Egeu, que compreendiam o território melhor arável do império, ou em áreas interioranas férteis como a Trácia e Tessália. O termo igualmente denotou a administração diária de alguma propriedade, notadamente a propriedade imperial, e pelo século XII referiu-se às divisões fiscais dos temas.

Tema (distrito bizantino)
Tema (em grego: θέμα; romaniz.: théma; pl. θέματα, thémata) foram as principais divisões administrativas do Império Bizantino Médio (610–1204), criadas em meados do século VII no rescaldo das conquistas muçulmanas de partes do território bizantino. Substituíram o antigo sistema provincial estabelecido por Diocleciano (r. 284–305) e Constantino, o Grande (r. 306–337).

Em sua origem, os primeiros temas foram criados a partir das áreas de acampamentos dos exércitos de campo do exército romano oriental, e seus nomes correspondem às unidades militares que existiram naquelas áreas. O sistema de temas alcançou seu apogeu nos séculos IX e X, com temas mais antigos sendo divididos e novos sendo criados em territórios conquistados. O sistema de temas original passou por mudanças significativas nos séculos XI e XII, mas o termo permaneceu em uso como uma circunscrição provincial e financeira, até o final do império.
Opus 59
Opus 59 é um método de aprendizagem de violão erudito de autoria do músico italiano Matteo Carcassi.

O livro aborda teoria musical, princípios básicos do violão, exercícios de escalas, aprendizagem de partituras de violão, arpegios e 50 peças progressivas ao final.

Música erudita
Música erudita (também chamada de música clássica, música cultivada, música séria e música canônica) é a música considerada de alto valor fonoestético. Ela normalmente implica considerações estruturais e teóricas avançadas ou uma tradição musical escrita. Nesse contexto, os termos "sério" ou "cultivado" são frequentemente usados ​​para apresentar um contraste com a música comum do dia a dia (ou seja, música popular e folclórica, também chamada de "música vernacular"). Muitas culturas têm tradições de música erudita; no mundo ocidental, o termo normalmente se refere à música clássica ocidental.
Oreste Coliva
Oreste Coliva (Itália, ? - São Luís do Maranhão?, ?) foi um professor, pintor e decorador italiano, destacando-se principalmente como cenógrafo. Ativo entre o fim do século XIX e o início do século XX, passou a maior parte de sua carreira no Brasil. Também foi conhecido como Orestes Coliva. Sua vida é obscura e mal documentada, mas a imprensa de seu tempo não se cansou de louvar suas obras nos melhores termos.

Cenógrafo
Cenógrafo é o profissional que cria, conceitua, projeta e coordena a construção do cenário de teatro, show, teledramaturgia, eventos e entretenimento em geral. Ele supervisiona a realização e montagem de todos os espaços necessários à cena, incluindo a programação. Aquele que idealiza o espaço cênico. Cria, desenha, acompanha e orienta a montagem do projeto cenográfico. Resumindo, é quem prepara os figurinos certos para um espetáculo.
Lei do Congresso
Nos Estados Unidos, uma lei do Congresso (em inglês:  Act of Congress; lit. 'ato do Congresso') é uma lei promulgada pelo Congresso dos Estados Unidos. As leis se aplicam à entidades individuais (chamadas de leis privadas), ou para o público em geral (leis públicas). Para um projeto de lei se tornar lei, o texto deve passar pelas duas casas do Congresso americano aprovado pela maioria, e então ser levado à sanção do presidente dos Estados Unidos, ser deixado sem sanção por dez dias (excluindo dessa contagem os domingos) enquanto o Congresso continua em sessão, ou, se vetado pelo presidente, o veto pode ser anulado pelo Congresso se 2⁄3 de ambas as casas.

Lei
No direito, uma lei (do latim lex, legio, do verbo lego, legere, lectum, verbo "ler") é um documento escrito editado por uma autoridade competente e de acordo com um procedimento específico, e que veicula normas jurídicas. Em seu sentido amplo, esse termo compreende todos os atos normativos contidos no processo legislativo.
Grupo abeliano
Em álgebra abstrata, um grupo abeliano, chamado também de grupo comutativo, é um grupo  em que  para quaisquer  e  em . Em outras palavras, a aplicação da operação binária não depende da ordem dos elementos do grupo (i.e. a operação é comutativa). Os grupos abelianos receberam esse nome devido a Niels Henrik Abel. Os grupos que não são comutativos são chamados não-abelianos (ou não-comutativos).

O conceito de grupo abeliano é a base de muitas estruturas algébricas fundamentais, como corpos, anéis, espaços vetoriais e álgebras. Em geral, a teoria dos grupos abelianos é mais simples do que a dos não abelianos, e os grupos abelianos finitos são bem compreendidos. Por outro lado, os grupos abelianos infinitos são um tópico de pesquisa científica atual.

Os Grupos abelianos podem ser classificados conforme suas caracteristicas, as principais classificações são de Grupos abelianos livres, Grupos abelianos de tipo finito, Grupos abelianos divisíveis.

Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.

Usualmente, diz-se em teoria dos conjuntos que um conjunto X é finito se é vazio ou existe um número natural n tal que X seja bijetivo com {1, ..., n}, ou seja, além de n é preciso que exista uma função injetiva e sobrejetiva com domínio X e contradomínio {1, ..., n}.

Esta definição tem o problema de utilizar o conceito de número natural. Uma definição alternativa, devido a Richard Dedekind, é que um conjunto X é finito se não existe um subconjunto próprio  e uma função bijetiva . Um conjunto que é finito segundo esta definição é chamado de Dedekind-finito (e um conjunto que tem um subconjunto próprio de mesma cardinalidade é chamado de Dedekind-infinito).