Defining setinverse