image

is a relation of equality in Ximage. If (a,b)Rimage, then we prefer to write a=bimage. Another example is

R=(a,A)X×2X:aA,

image

which defines a membership relation between elements and subsets of X. For (a,A)R, we write aA. One more example is

R=(A,B)2X×2X:A

Get Mathematical Analysis Fundamentals now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.