Relation

A relation or property is the result of any hypothesis. The concept or type of a relation is explicitly defined.

Are properties equivalent to propositions or appeals to proof of the form P(x) with x undefined? I.e. an "appeal to an appeal to x"? Or rather, a question of how that initial variable x gets passed down into the second appeal.

In the provisional formalism, the type of a relation is written $$R^1$$.