Demostramos que las relaciones reflexivas, transitivas y simétricas pueden ser inducidas por operadores modales, de necesidad, suficiencia y cosuficiencia. Damos sus ejemplos.
Descargo de responsabilidad: este resumen se tradujo utilizando herramientas de inteligencia artificial y aún no ha sido revisado ni verificado.