Concept of equality conditional to existence of one side
There are a number of theorems in mathematics which are of the following form:
with a conditionality caveat as follows:
- Whenever the right side expression makes sense, the left side expression also makes sense and they are equal.
- It may, however, happen that the right side expression does not make sense but the left side expression does.