show a binary relation is well-defined

Printable View