Separate relations from sets
Fixed trClos for computing R+