Total relation
subject: Category:Properties of binary relations
description: type of logical relation between sets