"For every number a not equal to 0, there exists a number b such that ab = 1."
I am aware of a related post on the use of "such that", I am not sure how the explanations there fit in to the use of "such that" in the above sentence.
"For every number a not equal to 0, there exists a number b such that ab = 1."
I am aware of a related post on the use of "such that", I am not sure how the explanations there fit in to the use of "such that" in the above sentence.
This is consistent with the following definition of such from Lexico
- such — as/that Of the type about to be mentioned.
the wound was such that I had to have stitches
The "type about to be mentioned" is numbers that fit the criteria "ab = 1"
b
fits. I added one of the example sentences that is kind of similar outside the mathematical context.
S
construction?
Commented
Jun 26, 2022 at 16:23
"For every number a not equal to 0, there exists a number b such that ab = 1."
I don't know what a contemporary grammarian would do with that sentence. My approach would be as follows:
"For every number a not equal to 0" is a prepositional phrase that presents a condition.
"there exists a number b", a clause that presents a fact related to the condition.
such... is a predicative complement of "there exists a number b", a qualifier of the fact presented, and the meaning of such is "(said number b) having the characteristic"
"that ab = 1" a declarative content clause which is a complement of such, stating the characteristic.
According to CGEL p. 968, "such" is an adjective licensing a that-clause complement.
As noted above, the formula "VARIABLE such that PROPERTY" is quite common in mathematical writing.