- #1

V0ODO0CH1LD

- 278

- 0

But in mathematics is "forward referencing" allowed? Can I, for instance, define a set and use the set being defined in the definition??

For example, using set builder notation:

S = {x in X : P(x)}.

Where the formula P makes mention of S? Like,

S = {(a,b) in AxB : for all b' [((a,b) in S and (a,b') in S) => (b = b')]}.

Is that allowed in mathematics? If not, is there always a way to define things not mentioning them? In the case of the functional relation above, how would I do it?