Definition talk:Restriction/Relation

The definition uses the curly R to denote a relation, and then goes on to take the intersection of it and "X x Y", but in the definition of a relation, the curly R is defined as an ordered triple (curly) R = (S, T, R) - where the inner R is a non-curly R. Either I'm missing something or it would be more appropriate to take the intersection with the non-curly R in the definition of a restriction here.

I hope I make sense.

Done as suggested. It is of course necessary in that case to explain what $R$ actually is, while using the implicit form where $\RR$ is "understood" to be "just" the subset of $S \times T$, rather than the fully fussy form $\RR = \struct {S, T, R}$ which requires the careful definition of the notation.

Never sure which is best, but at this level the full notation is probably recommended.

May be worth adding an "also presented as" section to document the more compact form. --prime mover (talk) 00:08, 6 January 2024 (UTC)