UniqueSolution

Input: UniqueSolution(Q(x), ForElement(x, S))
$$\mathop{\operatorname{solution*}\,}\limits_{x \in S} Q(x)$$

The unique value $x \in S$ satisfying $Q(x)$. The result is undefined if such a value does not exist or is not unique.

Input: UniqueSolution(Q(x), ForElement(x, S), P(x))
$$\mathop{\operatorname{solution*}\,}\limits_{x \in S,\,P(x)} Q(x)$$

The unique value $x \in S$ satisfying $P(x)$ and $Q(x)$. The result is undefined if such a value does not exist or is not unique.

Last updated: 2020-03-06 00:22:16