Mostramos que relações reflexivas, transitivas e simétricas podem ser induzidas por operadores modais, de necessidade, de suficiência e de co-suficiência. Damos os seus exemplos.
Isenção de responsabilidade: Este resumo foi traduzido com recurso a ferramentas de inteligência artificial e ainda não foi revisto ou verificado.