choosing total relations gives directionality

Tags: Total relation, Compact closed category, directionality in monoidal categories.