	/* Set difference */

diff(x,y) =>  d where  member(x, d)  = true; 
		       member(y, d)  = false.

