principalBranchDomain

P189556 predicate

Indicates the domain over which the principal branch of a multi-valued function (such as a complex logarithm or power) is defined and considered valid.

Sample triples (1)

Subject Object
product logarithm {z ∈ ℂ : z ≥ -1/e on ℝ}