me suena a teoría de conjuntos y la verdad lo desconozco bastante, de todas formas lo primero me imagino que lo harás con numeros enteros. Como el número de elementos de los conjuntos no va a ser fijo, me imagino que tendrás que utilizar colecciones (así podrás meter todos los elementos que quieras). Luego por ejemplo defines una clase Conjunto (así muy por encima, la sintaxis está mal, es sólo un esquema)
class Conjunto
private Collection Elementos;
public static Union(Conjunto C1, Conjunto C2);
public static Intersecion(Conjunto C1, Conjunto C2);
...
las operaciones las declaras static para poder utilizarlas entre dos conjuntos distintos, es decir que le puedas pasar dos clases distintas a la propia clase como parámetro, si no no podrás operar con dos conjuntos distintos.
Y utilizando las operaciones obtienes si la relación es inductiva o reflexiva o lo que sea que no tengo ni idea.
Pero es ahún más complicado, ya que los elementos deben ser tambien clases, ya que cada elemento (si no me equivoco consta de varios números):
A = { 1 , 2 , 3 }
R = { ( 1 , 1 ) , ( 1 , 3 ) , ( 2 , 2 ) , ( 3 , 2 ) , ( 3 , 3 ) }
El conjunto A, está formado por una colección de 3 elementos
cada elemento consta de un sólo número.
Pero el conjunto B, está formado por una colección de 5 elementos, cada uno de los cuales consta de dos números.
Por lo tanto los elementos deben de ser de esta forma:
Class Elemento
Private Collection Números
Esto es una idea, lo difícil está en implementar las operaciones.
