right-uniqueness

property of binary relations

Wikidata entity: Q54933381

P13044	characteristic of	...	Q130901 (binary relation)	binary relation
P2534	defining formula	Math	$\forall (x, y, z) \in X \times Y^{2}, x ℛ y \land x ℛ z ⟹ y = z$	???
P1889	different from	...	Q54933380 (left-uniqueness)	left-uniqueness
P1889	different from	...	Q54933377 (right-totality)	right-totality
P7235	in defining formula	Math	$x$	???
P7235	in defining formula	Math	$z$	???
P7235	in defining formula	Math	$Y$	???
P7235	in defining formula	Math	$y$	???
P7235	in defining formula	Math	$X$	???
P7235	in defining formula	Math	$ℛ$	???
P31	instance of	...	Q3924032 (mathematical property)	mathematical property
P6104	maintained by WikiProject	...	Q8487137 (WikiProject Mathematics)	WikiProject Mathematics

Why not click here or view trends?

log id: 5922368