this_program remove(mixed left, mixed right)
Removes "left R right " as a member of the relation. Returns the same relation.