<<VilCretas`

GrafoString["Bienvenidos"]

A={93,90,5,54,55,25};
R={{93,25},{90,5},{5,55},{5,25},{5,54},{5,5},{55,55},{55,25},{25,5},{54,54},{54,25},{25,90},{54,5},{54,93},{54,90}};

MatrizRelBin[R,A,A, encabezados->True]

tutorias@una.cr
2562-6771

mariana.ramirez.sandi@una.cr
7016-8340

R1={{99,55},{85,13},{99,74},{85,100},{22,100},{100,45},{85,74},{99,99},{100,100},{100,80}};
R2={{99,55},{13,85},{99,74},{85,100},{22,100},{100,45},{85,74},{99,99},{100,100},{100,80}};
R3={{99,55},{85,13},{99,74},{85,100},{22,100},{45,100},{85,74},{99,99},{100,100},{100,80}};
R4={{99,55},{13,13},{99,74},{85,100},{22,100},{100,45},{85,74},{99,99},{100,100},{100,80}};
R5={{99,55},{85,13},{99,74},{85,100},{22,100},{100,45},{85,74},{99,99},{100,100},{80,80}};

R = {{99,55},{85,13},{99,74},{85,100},{22,100},{100,45},{85,74},{99,99},{100,100},{100,80}};

Table[ElementRelBinQ[R,i],{i,R1}]

Table[ElementRelBinQ[R,i],{i,R2}]

Table[ElementRelBinQ[R,i],{i,R3}]

Table[ElementRelBinQ[R,i],{i,R4}]

Table[ElementRelBinQ[R,i],{i,R5}]

<<TutoriasED`

existeElementoRelBin[R,R1]

A=Range[-5,1000,3];

B=Range[5,998,3];

Length[PC[A,B]]

PC[A,B]//Length

A=Range[20];

R=RelBin["Mod[a^2+b^2,2]!=0&&a^3-b^3<=41",A,A];

Length[DominioRelBin[R]]

R//Length

Mod[a^2+b^2,2]!=0
OddQ[a^2+b^2]==True
EvenQ[a^2+b^2]!=True

RelacionComposicion[R1_,R2_]:=Module[{Composicion={},i,j},For[i=1,i≤Length[R2],For[j=1,j≤Length[R1],If[R2[[i,2]]==R1[[j,1]],Composicion=Append[Composicion,{R2[[i,1]],R1[[j,2]]}]];j++];
i++];DeleteDuplicates[Composicion]]

R1={{0,0},{5,5},{5,12},{12,0},{16,16}};
R2={{0,18},{0,24},{5,17},{12,19},{16,23}};

R=RelacionComposicion[R2,R1]

respuestas={{10,24},{0,24},{7,21},{0,18},{5,17}};

existeElementoRelBin[R, respuestas]

ElementRelBinQ[R,{5,17}]

A={44,62,24,98,85,43,68,35,69,77};
R=RelBin["Mod[a^2-b^2,5]==0",A,A]

ClasesEquivalencia[R,A]

A={29,18,1,65,68,69,12,17,59,23,32,21,49,38,2};

R=RelBin["Mod[a^2-1,b^2-1]==0",A,A];

ClasificacionRelBin[R,A]

TipoRelacion[R,A]

?ClasificacionRelBin

ClasesEquivalencia[R,A]