The Identity Relation on set X is the set $\lbrace (x, x) | x \in X \rbrace$
#Onto vs one to one discrete meaning full
The Full Relation between sets X and Y is the set $X \times Y$ The Empty Relation between sets X and Y, or on E, is the empty set $\emptyset$ Suppose, there is a relation $R = \lbrace (1, 1), (1,2), (3, 2) \rbrace$ on set $S = \lbrace 1, 2, 3 \rbrace$, it can be represented by the following graph − Types of Relations If there is an ordered pair (x, x), there will be self- loop on vertex ‘x’. For each ordered pair (x, y) in the relation R, there will be a directed edge from the vertex ‘x’ to vertex ‘y’. The number of vertices in the graph is equal to the number of elements in the set from which the relation has been defined. Let, $A = \lbrace 1, 2, 9 \rbrace $ and $ B = \lbrace 1, 3, 7 \rbrace$Ĭase 1 − If relation R is 'equal to' then $R = \lbrace (1, 1), (3, 3) \rbrace$ĭom(R) = $\lbrace 1, 3 \rbrace, Ran(R) = \lbrace 1, 3 \rbrace$Ĭase 2 − If relation R is 'less than' then $R = \lbrace (1, 3), (1, 7), (2, 3), (2, 7) \rbrace$ĭom(R) = $\lbrace 1, 2 \rbrace, Ran(R) = \lbrace 3, 7 \rbrace$Ĭase 3 − If relation R is 'greater than' then $R = \lbrace (2, 1), (9, 1), (9, 3), (9, 7) \rbrace$ĭom(R) = $\lbrace 2, 9 \rbrace, Ran(R) = \lbrace 1, 3, 7 \rbrace$Ī relation can be represented using a directed graph. The range of R, Ran(R), is the set $\lbrace y\: |\: (x, y) \in R \:for\: some\: x\: in\: A\rbrace$ The domain of R, Dom(R), is the set $\lbrace x \:| \: (x, y) \in R \:for\: some\: y\: in\: B \rbrace$ If there are two sets A and B, and relation R have order pair (x, y), then − The minimum cardinality of a relation R is Zero and maximum is $n^2$ in this case.Ī binary relation R on a single set A is a subset of $A \times A$.įor two distinct sets, A and B, having cardinalities m and n respectively, the maximum cardinality of a relation R from A to B is mn.
Generally an n-ary relation R between sets $A_1, \dots ,\ and\ A_n$ is a subset of the n-ary product $A_1 \times \dots \times A_n$. If the ordered pair of G is reversed, the relation also changes. Definition and PropertiesĪ binary relation R from set x to y (written as $xRy$ or $R(x,y)$) is a subset of the Cartesian product $x \times y$. Relations may exist between objects of the same set or between objects of two or more sets. Consider an example.Whenever sets are being discussed, the relationship between the elements of the sets is the next thing that comes up. the set of all x that produce elements of B. note that a set doesn’t equal its elements, i.e.order and repetition don’t matter for sets.
sets are equal if and only if they have the same elements.a ∈ A means that ‘a’ is an element of A (A is the set).Discrete Maths (MATH1081): Section 1 - Sets, Functions, and SequencesĪ set is a collection of objects, which are called the ‘elements’ of the set