Total relation
type of logical relation between sets