%% Prolog
%%	 una forma de definir conjuntos
miembro_de(a,cA).
miembro_de(b,cA).

miembro_de(a,cB).
miembro_de(b,cB).
miembro_de(c,cB).

miembro_de(a,cC).
miembro_de(b,cC).
miembro_de(c,cC).
miembro_de(d,cC).

elementos_de(C):-
	miembro_de(Ex,C),display(Ex).

inter_conj(Ca,Cb):-
	miembro_de(Ex,Ca),miembro_de(Ex,Cb),display(Ex).

pertenece(Ex,Cx) :-
	miembro_de(Ex,Cx).










