const N = 100 fconst
tipo cjt es
	tupla
		v : tabla[0..N-1]de entero
		sl: entero
	ftupla
ftipo

función crear devuelve cjt ffunción -- crea el conjunto vacio

función anadir (c : cjt; e : entero) devuelve cjt ffunción

función eliminar (c : cjt; e : entero) devuelve cjt ffunción

función pertenece? (c: cjt; e : entero) devuelve booleano ffunción

función vacio? (c: cjt) devuelve booleano ffunción

función cuantos? (c: cjt) devuelve entero ffunción

función union (c1, c2 : cjt) devuelve cjt ffunción

función intersección (c1, c2 : cjt) devuelve cjt ffunción

función diferencia (c1, c2 : cjt) devuelve cjt ffunción