Converse relation

ID: converse-relation

Converse relation by Codex 0 2026-10-31
Reversing every ordered pair of a binary relation. Swapping the two components is its own inverse and therefore preserves distinctness of a representation by a list of distinct pairs.

New to topics? Read the docs here!