Relations --- Binary Relations. Debdeep Mukhopadhyay IIT Madras

Size: px
Start display at page:

Download "Relations --- Binary Relations. Debdeep Mukhopadhyay IIT Madras"

Transcription

1 Relations --- Binary Relations Debdeep Mukhopadhyay IIT Madras

2 What is a relation? The mathematical concept of relation is based on the common notion of relationships among objects: One box is heavier than the other One man is richer than the other An event occurs prior to the other

3 Ordered n-tuple For n>0, an ordered n-tuple (or simply n- tuple) with ith component a i is a sequence of n objects denoted by <a 1,a 2,,a n >. Two ordered n-tuples are equal iff their ith components are equal for all i, 1<=i<=n. For n=2, ordered pair For n=3, ordered triple

4 Cartesian Product Let {A 1,A 2,,A n } be an indexed collection of sets with indices from 1 to n, where n>0. The cartesian product, or cross product of the sets A 1 through A n, denoted by A χ 1 A χ 2 χ A n, or n i=1 Ai is the set of n-tuples <a 1,a 2,,a n > a i ЄA i }. n When A i =A, for all i, then i=1 Ai will be denoted by A n.

5 Examples Let A={1,2}, B={m,n}, C={0}, D=Φ. AxB={<1,m>,<1,n>,<2,m>,<2,n>} AxC={<1,0>,<2,0>} AxD= Φ When A and B are real numbers, then AxB can be represented as a set of points in the Cartesian Plane. Let, A={x 1 x 2} and B={y 0 y 1}. Then AxB={<x,y> 1 x 2 Λ 0 y 1}

6 Theorems 1. AX(B U C)=(AXB) U (AXC) 2. AX(B C)=(AXB) (AXC) 3. (A U B)XC=(AXC) U (BXC) 4. (A B)XC=(AXC) (BXC)

7 Proof of 1 < xy, > A ( B C) x A y ( B C) x A ( y B y C) ( x A y B) ( x A y C) ( < xy, > A B) ( < xy, > A C) < xy, > ( A B) ( A C) The rest of the proofs are similar.

8 What is a relation mathematically? Let A 1,A 2,,A n be sets. An n-ary relation R on n n i=1 Ai is a subset of i=1 Ai. If R=Φ, then R is called the empty or void relation. If A n R= i=1 i then R is the universal relation. If A i =A for all i, then R is called an n-ary relation on A. If n=1, unary If n=2, binary Ternary

9 Number of n-ary relations n If A i has r i elements, then i=1 Ai has rielements i= 1 The number of n-ary relations is the cardinal number of the power set of the cartesian product of the A i s. Thus, the number of relations is n n i= 1 2 r i

10 Equality of relations n Let R 1 be an n-ary relation on i=1 Ai and R 2 be an m m-ary relation on i=1bi. Then R 1 =R 2 iff n=m, and A i =B i for all i, 1 i n, and R 1 =R 2 are equal sets of ordered n-tuples. Every n-ary relation on a set A, corresponds to an n-ary predicate with A as the universe of discourse. A unary relation on a set A is simply a subset of set A.

11 Binary Relations

12 They are frequently used in abstraction in CS Various data structures, like trees and graphs can be modeled as binary relations and vice versa. We shall see techniques and methods to analyze.

13 Binary Relations Let A, B be any two sets. A binary relation R from A to B, written (with signature) R:A B, is a subset of A B. E.g., let < : N N : {<n,m> n < m} The notation a R b or arb means <a,b> R. E.g., a < b means (a,b) < If arb we may say a is related to b (by relation R), or a relates to b (under relation R). A binary relation R corresponds to a predicate function P R :A B {T,F} defined over the 2 sets A,B; e.g., eats : {<a,b> organism a eats food b}

14 Domain and Co-domain Let R be a binary relation over AxB. Domain: Set A Co-domain: Set B <a,b>єr=> arb <a,b> Є R => arb

15 Complementary Relations Let R:A B be any binary relation. Then, R:A B, the complement of R, is the binary relation defined by R : {<a,b> (a,b) R} Example: < = {(a,b) (a,b) <}} = {(a,b) ) a<b} } =

16 Inverse Relations Any binary relation R:A B has an inverse relation R 1 :B A, defined by R 1 : {(b,a) (a,b) R}. E.g., < 1 = {(b,a) a<b} = {(b,a) b>a} = >. E.g., if R:People Foods is defined by arb a eats b, then: br 1 a b is eaten by a. (Passive voice.)

17 Relations on a Set A (binary) relation from a set A to itself is called a relation on the set A. E.g., the < relation from earlier was defined as a relation on the set N of natural numbers. The identity relation I A on a set A is the set {(a,a) a A}.

18 Representing Relations With a zero-one matrix. With a directed graph.

19 Using Zero-One Matrices To represent a relation R by a matrix M R = [m ij ], let m ij = 1 if (a i,b j ) R, else 0. E.g.,A={1,2,3}, B={1,2}. Let R be the relation from A to B containing (a,b) s.t a is in A and b is in B and a>b. The 0-1 matrix representation 0 0 M R = When A=B, we have a square matrix

20 So, what is complement of R? A={1,2,3}, B={1,2}. Let R be the relation from A to B containing (a,b) s.t a is in A and b is in B and a>b Complement of R = {(a,b) not(a>b)} ={(a,b) a<=b} 0-1 matrix is: M R 1 1 = We can obtain by the element wise bit complement of the matrix.

21 Types of Relations Let R be a binary relation on A: R is reflexive if xrx for every x in A R is irreflexive if xrx for every x in A R is symmetric if xry implies yrx for every x,y in A R is antisymmetric if xry and yrx together imply x=y for every x,y in A R is transitive if xry and yrz imply xrz for every x,y,z in A

22 Zero-One Reflexive, Symmetric These relation characteristics are very easy to recognize by inspection of the zero-one matrix anything anything anything anything anything anything Reflexive: all 1 s on diagonal Irreflexive: all 0 s on diagonal Symmetric: all identical across diagonal Antisymmetric: all 1 s are across from 0 s

23 Tell what type of relation M R M M R R = (Reflexive, Symmetric) = (Neither Reflexive nor irreflexive, Symmetric) = (Reflexive, Anti-Symmetric) 0 0 1

24 Operations on 0-1 Matrix Union and Intersection of relations can be obtained by join and meet of the Binary matrices M = M M R R R R M = M M R R R R

25 Operations on 0-1 Matrix M M R = M R = = M = R1 R2 R1 R2

26 Composition of relations R: A B, S:B C S R : A C Suppose, A, B and C have m, n and p elements M S :[s ij ] (nxp), M R :[r ij ](mxn), M S.R :[t ij ](mxp) (a i,c j ) belongs to S.R iff there is (a i,b k ) belonging to R and (b k,c i ) belonging to S for some k. Thus t ij =1 iff r ik =1 and s kj =1, for some k. Thus, M = M M SR R S

27 Example of composition MR = M S = MSR MR M S = = 0 0 0

28 Using Directed Graphs A directed graph or digraph G=(V G,E G ) is a set V G of vertices (nodes) with a set E G V G V G of edges (arcs,links). Visually represented using dots for nodes, and arrows for edges. Notice that a relation R:A B can be represented as a graph G R =(V G =A B, E G =R). M R 0 0 = Edge set E G (blue arrows) 1 2 Node set V G (black dots)

29 Digraph Reflexive, Symmetric It is extremely easy to recognize the reflexive/irreflexive/ symmetric/antisymmetric properties by graph inspection. Reflexive: Every node has a self-loop Irreflexive: No node links to itself Symmetric: Every link is bidirectional Antisymmetric: No link is bidirectional

30 A Question discussed in class Does symmetricity and transitivity imply reflexivity? Reason of doubt: arb=>bra (symmetricity) This implies ara (transitivity) So, R is reflexive! Clarification: Symmetric, Transitive But not Reflexive..

31 Closure of Relations

32 Closure? Let R be a relation on a set A R may or may not have a property P Define S, as the relation which has the property P AND S contains R AND S is the subset of every relation with property P and which contains R S is called the closure of R w.r.t P Closure may not exist.

33 Reflexive Closure R={(1,1),(1,2),(2,1),(3,2)} on the set A={1,2,3} Is R reflexive? How can we create an S (which is as small as possible) containing R which is reflexive? Add (2,2) and (3,3). S is reflexive and contains R Since, any reflexive relation on A must contain (2,2) and (3,3), all such relations must be a superset of S S is hence the reflexive closure.

34 Generalization Define ={(a,a) a Є A} (Diagonal Relation) S=R U S is the reflexive closure of R.

35 Symmetric Closure R={(1,1),(1,2),(2,2),(2,3),(3,1),(3,2)} on the set A={1,2,3} Is R symmetric? How can we create an S (which is as small as possible) containing R which is symmetric? Add (2,1) and (1,3). S is symmetric and contains R Since, any symmetric relation on A must contain (2,1) and (1,3), all such relations must be a superset of S S is hence the symmetric closure.

36 Generalization Define R -1 ={(b,a) (a,b)єr} R={(1,1),(1,2),(2,2),(2,3),(3,1),(3,2)} R -1 ={(1,1),(2,1),(2,2),(3,2),(1,3),(2,3)} S=R U R -1 ={(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2)} S contains R All such relations contain S Thus, S is the symmetric closure.

37 Transitive Closure? R={(1,3),(1,4),(2,1),(3,2)} R is not transitive. So, add (1,2),(2,3),(2,4),(3,1). Does it become transitive? No, because say (3,2) and (2,4) are members but not (3,4). So, transitive closure is not that easy.

38 Composition of R with itself : R n Let R be a relation on set A arb => {(a,b) (a,b)єr} Let R be a relation on the set A. The powers R n, n=1, 2, 3, are defined recursively by: R 1 =R and R n+1 =R n.r Example: R={(1,1),(2,1),(3,2),(4,3)} R 2 ={(1,1),(2,1),(3,1),(4,2)}

39 Composition in DAG A path from a to b in DAG G, is a sequence of edges (a,x 1 ),(x 1,x 2 ),,(x n-1,b). The path has length n. A path of length n 1 that begins and ends at the same vertex is called a circuit or cycle. Theorem: Let R be a relation on a set A. There is a path of length n, where n is a positive integer from a to b, iff (a,b) belongs to R n.

40 Proof Base: There is a path from a to b of length 1, iff (a,b) is in R. Induction: Assume theorem is true for n There is a path of length (n+1) between a and b, iff there is a path of length 1 between (a,c) and there is a path of length of n between (c,b) for some c. Hence, there is such a path iff (a,c)єr and (c,b) ЄR n (inductive hypothesis) But there is such an element c iff (a,b) ЄR n+1

41 Theorem The relation R on a set A is transitive iff n R R If part: If R 2 is a subset of R (special case) then R is transitive Else part: Trivial proof for n=1 Assume if R is transitive R n is a subset of R. Consider (a,b)єr n+1. Thus, there is an element c st (a,c) Є R and (c,b) Є R n. By hypothesis, (c,b) Є R. But R is transitive, so (a,c) Є R and (c,b) Є R means (a,b) Є R

42 Now lets look at the Problem of Transitive Closure Define, the connectivity relation consisting of the pairs (a,b) such that there is a path of length at least one from a to b in R. R + = R n= 1 Theorem: The connectivity relation is the transitive closure Proof: R + contains R R + is transitive n

43 To show that R + is the smallest! Assume a transitive S containing R R + is a subset of S + (as all paths in R are also paths in S) Thus, we have + + n R S S (as S is transitive we have S S)

44 Lemma Let, A be a set with n elements, and let R be a relation on A. If there is a path of length at least one in R from a to b, then there is such a path with length not exceeding n. Thus, the transitive closure is tr ( ) n = R i= 1 i Proof follows from the fact R k is a subset of t(r)

45 Example Find the zero-one matrix of the transitive closure of M R = M = M M M R R [2] [3] R R R = = 2 3 M 0 1 0, M M R + + R = =

46 Algorithm-1 Procedure transitiveclosure(m R ) A=M R, B=A for i=2 to n begin A = A B B = B A end B is the answer Complexity: n 2 (2n-1)(n-1)+n 2 (n-1)=o(n 4 )

47 Algorithm-2 (Roy-Warshall algorithm) Based on the construction of 0-1 matrices, W 0,W 1,,W n, where W 0 =M R (0-1 matrix of the relation). Uses the concept of internal vertices of a path: If there is a path (a,b), namely, (a,x 1,x 2, x m-1,b) Internal vertices: x 1,x 2, x m-1 The start vertex is not an internal vertex unless it is visited again, except as a last vertex The end vertex is not an internal vertex unless it has been visited before, except as a first vertex

48 So, what is the trick? Construct, W k =[w (k) ij ], where w (k) ij =1, if there is a path from v i to v j such that all the interior vertices of this path are in the set {v 1,v 2,,v k }, and 0 otherwise. W n =M R*. Can you see why? But construction of W n is easy than the boolean product of matrices.

49 Construct W k w ij (k) =1, if there is a path from v i to v j such that all the interior vertices of this path are in the set {v 1,v 2,,v k }, and 0 otherwise. CASE-1 v i Internal Nodes from set {v 1,v 2,,v k-1 } v j Internal Nodes from set {v 1,v 2,,v k-1 } v k v 1,v 2,,v k-1 v 1,v 2,,v k-1 Internal Nodes from set {v 1,v 2,,v k-1 } v i CASE-2 v j

50 Computing W k w ij [k] = w ij [k-1] V (w ik [k-1] Λ w kj [k-1] ) oper Procedure Warshall-transitive-closure(M R ) W=M R for k=1 to n begin for i=1 to n begin for j=1 to n w ij [k] = w ij [k-1] V (w ik [k-1] Λ w kj [k-1] ) end end end W is the answer M R + Complexity: (2n 2 )n=o(n 3 )

51 Equivalence Relation

52 Definition Three important characteristics of the notion equivalence : Every element is equivalent to itself (reflexivity) If a is equivalent to b, then b is equivalent to a (symmetry) If a is equivalent to b, and b is equivalent to c, then a is equivalent to c (transitivity) A binary relation R on a set A is an equivalence relation if R is reflexive, symmetric and transitive.

53 Modular equivalences: Congruence Modulo m R={(a,b) Reflexive as ara Symmetric: If arb=>m (a-b)=>(a-b)=km, where k is an integer Thus, (b-a)=-km=>m (b-a)=>bra Transitive: a b(mod m) arb=>(a-b)=k 1 m brc=>(b-c)=k 2 m So, (a-c)=(a-b)+(b-c)=(k 1 +k 2 )m=>m (a-c)=>arc

54 Equivalence Class Let R be an equivalence relation on a set A. The set of all the elements that are related to an element a of A is called the equivalence class of a. It is denoted by [a] R. When only one relation is under consideration, one can drop the subscript R. [a] R ={s (a,s)єr}. Any element in the class can be chosen as the representative element in the class.

55 Example arb iff a=b or a=-b R is an Equivalence relation (exercise) What is the equivalence class of an integer a? [a] R ={-a,a}

56 Example What are the equivalence classes of 0 and 1 for congruence modulo 4? [0]={,-8,-4,0,4,8, } [1]={,-7,-3,1,5,9, } The equivalence classes are called congruent classes modulo m.

57 Partitions Let R be an equivalence relation on a set A. These statements are equivalent if: 1. arb 2. [a]=[b] 3. [a] [b] Ø 1=>2=>3=>1

58 Theorem Let R be an equivalence relation on set A. 1. For, all a, bєa, either [a]=[b] or [a] [b]=ø 2. U xєa [x]=a Thus, the equivalence classes form a partition of A. By partition we mean a collection of disjoint nonempty subsets of A, that have A as their union.

59 Why both conditions 1 and 2 are required? In the class we had a discussion, saying that is 1 sufficient and does 2 always hold? Lets consider the following example: Define over the set A={y y ЄI + } R={(a,b) b=a 2 }. Thus (1,1),(2,4) are members of R. Consider the class: [x]={s (x,s)єr}

60 Pictographic Representation So, we see that we have classes which satisfy property 1 (here for distinct a and b, the intersection of [a] and [b] is always null) But the union of the partitions is not the set A. It s a subset of A For equivalence classes it is exactly A. Property 1 and 2 together define equivalence classes. [1]={1} [2]={4} [3]={9} [4]={16}

61 Quotient Set Let R be an equivalence relation on A. The quotient set, A/R, is the partition {[a] R aєa}. The quotient set is also called A modulo R or the partition of A induced by R. Equivalence classes of R form a partition of A. Conversely, given a partition {A i i ЄI} of A, there is an equivalence relation R that has the sets, A i as its equivalence classes. Equivalence relations induce partitions and partitions induce equivalence relations

Discrete Mathematics. 2. Relations

Discrete Mathematics. 2. Relations Discrete Mathematics 2. Relations Binary Relations Let A, B be any two sets. A binary relation R from A to B is a subset of A B. E.g., Let < : N N : {(n,m) n < m} The notation a R b or arb means (a,b)îr.

More information

Today s topics. Binary Relations. Inverse Relations. Complementary Relations. Let R:A,B be any binary relation.

Today s topics. Binary Relations. Inverse Relations. Complementary Relations. Let R:A,B be any binary relation. Today s topics Binary Relations Relations Kinds of relations n-ary relations Representations of relations Reading: Sections 7.-7.3 Upcoming Upcoming Minesweeper Let A, B be any sets. A binary relation

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

Relations Graphical View

Relations Graphical View Introduction Relations Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Recall that a relation between elements of two sets is a subset of their Cartesian

More information

Chapter 9: Relations Relations

Chapter 9: Relations Relations Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair

More information

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook) Relations Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations Reading (Epp s textbook) 8.-8.3. Cartesian Products The symbol (a, b) denotes the ordered

More information

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y. Relations Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 7.1, 7.3 7.5 of Rosen cse235@cse.unl.edu

More information

Discrete Mathematics. Chapter 4. Relations and Digraphs Sanguk Noh

Discrete Mathematics. Chapter 4. Relations and Digraphs Sanguk Noh Discrete Mathematics Chapter 4. Relations and Digraphs Sanguk Noh Table Product sets and partitions Relations and digraphs Paths in relations and digraphs Properties of relations Equivalence relations

More information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section Summary. Relations and Functions Properties of Relations. Combining Relations Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included

More information

Automata and Languages

Automata and Languages Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

More information

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs

More information

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

MATH 433 Applied Algebra Lecture 14: Functions. Relations. MATH 433 Applied Algebra Lecture 14: Functions. Relations. Cartesian product Definition. The Cartesian product X Y of two sets X and Y is the set of all ordered pairs (x,y) such that x X and y Y. The Cartesian

More information

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b

More information

Reading 11 : Relations and Functions

Reading 11 : Relations and Functions CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Reading 11 : Relations and Functions Instructor: Beck Hasti and Gautam Prakriya In reading 3, we described a correspondence between predicates

More information

Relationships between elements of sets occur in many contexts. Every day we deal with

Relationships between elements of sets occur in many contexts. Every day we deal with C H A P T E R 9 Relations 9.1 Relations and Their Properties 9.2 n-ary Relations and Their Applications 9.3 Representing Relations 9.4 Closures of Relations 9.5 Equivalence Relations 9.6 Partial Orderings

More information

What are relations? f: A B

What are relations? f: A B What are relations? Ch 9.1 What are relations? Notation Informally, a relation is a set of pairs of objects (or in general, set of n-tuples) that are related to each other by some rule. We will focus first

More information

Relations. We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples.

Relations. We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples. Relations We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples. Relations use ordered tuples to represent relationships among

More information

Relations and Equivalence Relations

Relations and Equivalence Relations Relations and Equivalence Relations In this section, we shall introduce a formal definition for the notion of a relation on a set. This is something we often take for granted in elementary algebra courses,

More information

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Relations Luay Nakhleh Computer Science Rice University Chapter 9, Section 1-6 Reading Material When we defined the Sorting Problem, we stated that to sort the list, the elements

More information

Packet #5: Binary Relations. Applied Discrete Mathematics

Packet #5: Binary Relations. Applied Discrete Mathematics Packet #5: Binary Relations Applied Discrete Mathematics Table of Contents Binary Relations Summary Page 1 Binary Relations Examples Page 2 Properties of Relations Page 3 Examples Pages 4-5 Representations

More information

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730 MATH 2730 Benjamin V.C. Collins James A. Swenson among integers equals a = b is true for some pairs (a, b) Z Z, but not for all pairs. is less than a < b is true for some pairs (a, b) Z Z, but not for

More information

Sets and Motivation for Boolean algebra

Sets and Motivation for Boolean algebra SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of

More information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric

More information

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric

More information

Generating Permutations and Combinations

Generating Permutations and Combinations Generating Permutations and Combinations March 0, 005 Generating Permutations We have learned that there are n! permutations of {,,, n} It is important in many instances to generate a list of such permutations

More information

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related.

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related. - 10 Relations P. Danziger 1 Relations (10.1) Definition 1 1. A relation from a set A to a set B is a subset R of A B. 2. Given (x, y) R we say that x is related to y and write xry. 3. If (x, y) R we say

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

Week 4-5: Generating Permutations and Combinations

Week 4-5: Generating Permutations and Combinations Week 4-5: Generating Permutations and Combinations February 27, 2017 1 Generating Permutations We have learned that there are n! permutations of {1, 2,...,n}. It is important in many instances to generate

More information

CSC Discrete Math I, Spring Relations

CSC Discrete Math I, Spring Relations CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:

More information

5. Partitions and Relations Ch.22 of PJE.

5. Partitions and Relations Ch.22 of PJE. 5. Partitions and Relations Ch. of PJE. We now generalize the ideas of congruence classes of Z to classes of any set X. The properties of congruence classes that we start with here are that they are disjoint

More information

Discrete Structures (2IT50)

Discrete Structures (2IT50) Discrete Structures (2IT50) Rob Hoogerwoord & Hans Zantema August, 2016 1 2 Contents 0.1 Introduction................................. 5 0.2 Basic set theory............................... 5 0.3 The principle

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

3. R = = on Z. R, S, A, T.

3. R = = on Z. R, S, A, T. 6 Relations Let R be a relation on a set A, i.e., a subset of AxA. Notation: xry iff (x, y) R AxA. Recall: A relation need not be a function. Example: The relation R 1 = {(x, y) RxR x 2 + y 2 = 1} is not

More information

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010) http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product

More information

Rela%ons and Their Proper%es. Slides by A. Bloomfield

Rela%ons and Their Proper%es. Slides by A. Bloomfield Rela%ons and Their Proper%es Slides by A. Bloomfield What is a rela%on Let A and B be sets. A binary rela%on R is a subset of A B Example Let A be the students in a the CS major A = {Alice, Bob, Claire,

More information

XMA2C011, Annual Examination 2012: Worked Solutions

XMA2C011, Annual Examination 2012: Worked Solutions XMA2C011, Annual Examination 2012: Worked Solutions David R. Wilkins 1. (a) Let A, B and C be sets. Prove that A (B \ C) = (A B) \ (A C). We show that every element of A (B \ C) is an element of (A B)

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

BOOLEAN ALGEBRA INTRODUCTION SUBSETS BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations

More information

BASIC MATHEMATICAL TECHNIQUES

BASIC MATHEMATICAL TECHNIQUES CHAPTER 1 ASIC MATHEMATICAL TECHNIQUES 1.1 Introduction To understand automata theory, one must have a strong foundation about discrete mathematics. Discrete mathematics is a branch of mathematics dealing

More information

Relations (3A) Young Won Lim 3/27/18

Relations (3A) Young Won Lim 3/27/18 Relations (3A) Copyright (c) 2015 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later

More information

Math 42, Discrete Mathematics

Math 42, Discrete Mathematics c Fall 2018 last updated 12/05/2018 at 15:47:21 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,

More information

spaghetti fish pie cake Ann X X Tom X X X Paul X X X

spaghetti fish pie cake Ann X X Tom X X X Paul X X X CmSc175 Discrete Mathematics Lesson 14: Set Relations 1. Introduction A college cafeteria line has two stations: main courses and desserts. The main course station offers spaghetti or fish; the dessert

More information

Math.3336: Discrete Mathematics. Chapter 9 Relations

Math.3336: Discrete Mathematics. Chapter 9 Relations Math.3336: Discrete Mathematics Chapter 9 Relations Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018

More information

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs

More information

Sets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set.

Sets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set. Sets A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set. If A and B are sets, then the set of ordered pairs each

More information

Discrete Mathematics with Applications MATH236

Discrete Mathematics with Applications MATH236 Discrete Mathematics with Applications MATH236 Dr. Hung P. Tong-Viet School of Mathematics, Statistics and Computer Science University of KwaZulu-Natal Pietermaritzburg Campus Semester 1, 2013 Tong-Viet

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics MATH10111 - Foundations of Pure Mathematics 9 RELATIONS 9.1 Reflexive, symmetric and transitive relations Let A be a set with A. A relation R on A is a subset of A A. For convenience, for x, y A, write

More information

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler Chapter VI Relations Assumptions are the termites of relationships. Henry Winkler Studying relationships between objects can yield important information about the objects themselves. In the real numbers,

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr.

Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal Quiz 1 Appendix Appendix Contents 1 Induction 2 2 Relations

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

Equivalence, Order, and Inductive Proof

Equivalence, Order, and Inductive Proof 2/ chapter 4 Equivalence, Order, and Inductive Proof Good order is the foundation of all things. Edmund Burke (729 797) Classifying things and ordering things are activities in which we all engage from

More information

1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A.

1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. 1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. How to specify sets 1. to enumerate all of the elements

More information

14 Equivalence Relations

14 Equivalence Relations 14 Equivalence Relations Tom Lewis Fall Term 2010 Tom Lewis () 14 Equivalence Relations Fall Term 2010 1 / 10 Outline 1 The definition 2 Congruence modulo n 3 Has-the-same-size-as 4 Equivalence classes

More information

Worksheet on Relations

Worksheet on Relations Worksheet on Relations Recall the properties that relations can have: Definition. Let R be a relation on the set A. R is reflexive if for all a A we have ara. R is irreflexive or antireflexive if for all

More information

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR 1 Introduction Foundations of Computing Science Pallab Dasgupta Professor, Dept. of Computer Sc & Engg 2 Comments on Alan Turing s Paper "On Computable Numbers, with an Application to the Entscheidungs

More information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries

Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harry Lewis September 5, 2013 Reading: Sipser, Chapter 0 Sets Sets are defined by their members A = B means that for every x, x A iff

More information

Foundations of algebra

Foundations of algebra Foundations of algebra Equivalence relations - suggested problems - solutions P1: There are several relations that you are familiar with: Relations on R (or any of its subsets): Equality. Symbol: x = y.

More information

Solutions to In Class Problems Week 4, Mon.

Solutions to In Class Problems Week 4, Mon. Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics for Computer Science September 26 Prof. Albert R. Meyer and Prof. Ronitt Rubinfeld revised September 26, 2005, 1050 minutes Solutions

More information

Module 2: Language of Mathematics

Module 2: Language of Mathematics Module 2: Language of Mathematics Theme 1: Sets A set is a collection of objects. We describe a set by listing all of its elements (if this set is finite and not too big) or by specifying a property that

More information

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

MATH1240 Definitions and Theorems

MATH1240 Definitions and Theorems MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n

More information

Preliminaries to the Theory of Computation

Preliminaries to the Theory of Computation Preliminaries to the Theory of Computation 2 In this chapter, we explain mathematical notions, terminologies, and certain methods used in convincing logical arguments that we shall have need of throughout

More information

7 Matrix Operations. 7.0 Matrix Multiplication + 3 = 3 = 4

7 Matrix Operations. 7.0 Matrix Multiplication + 3 = 3 = 4 7 Matrix Operations Copyright 017, Gregory G. Smith 9 October 017 The product of two matrices is a sophisticated operations with a wide range of applications. In this chapter, we defined this binary operation,

More information

Exercises for Discrete Maths

Exercises for Discrete Maths Exercises for Discrete Maths Discrete Maths Rosella Gennari http://www.inf.unibz.it/~gennari gennari@inf.unibz.it Computer Science Free University of Bozen-Bolzano Disclaimer. The course exercises are

More information

More on Finite Automata and Regular Languages. (NTU EE) Regular Languages Fall / 41

More on Finite Automata and Regular Languages. (NTU EE) Regular Languages Fall / 41 More on Finite Automata and Regular Languages (NTU EE) Regular Languages Fall 2016 1 / 41 Pumping Lemma is not a Sufficient Condition Example 1 We know L = {b m c m m > 0} is not regular. Let us consider

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 3 CHAPTER 1 SETS, RELATIONS, and LANGUAGES 6. Closures and Algorithms 7. Alphabets and Languages 8. Finite Representation

More information

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups HL Topic (Further Mathematics SL Topic 3) 9 This topic explores the fundamental nature of algebraic structures and the relationships between them. Included is an extension of the work covered in the Core

More information

COT3100 SI Final Exam Review

COT3100 SI Final Exam Review 1 Symbols COT3100 SI Final Exam Review Jarrett Wendt Spring 2018 You ve learned a plethora of new Mathematical symbols this semester. Let s see if you know them all and what they re used for. How many

More information

CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS Discrete Mathematics Dr. D. Manivannan (Mani) CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each)

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each) Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan Section: NetID: Name: Multiple Choice Question (30 questions in total, 4 points each) 1 Consider the following propositions: f: The student got

More information

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City? Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of

More information

Foundations of Mathematics

Foundations of Mathematics Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object

More information

Chapter 6. Relations. 6.1 Relations

Chapter 6. Relations. 6.1 Relations Chapter 6 Relations Mathematical relations are an extremely general framework for specifying relationships between pairs of objects. This chapter surveys the types of relations that can be constructed

More information

Section 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.

Section 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B. Section 7.1 Relations and Their Properties Definition: A binary relation R from a set A to a set B is a subset R A B. Note: there are no constraints on relations as there are on functions. We have a common

More information

Equational Logic. Chapter Syntax Terms and Term Algebras

Equational Logic. Chapter Syntax Terms and Term Algebras Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from

More information

Math 42, Discrete Mathematics

Math 42, Discrete Mathematics c Fall 2018 last updated 12/10/2018 at 18:16:18 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,

More information

ICS 6N Computational Linear Algebra Matrix Algebra

ICS 6N Computational Linear Algebra Matrix Algebra ICS 6N Computational Linear Algebra Matrix Algebra Xiaohui Xie University of California, Irvine xhx@uci.edu February 2, 2017 Xiaohui Xie (UCI) ICS 6N February 2, 2017 1 / 24 Matrix Consider an m n matrix

More information

System of Linear Equations

System of Linear Equations CHAPTER 2 System of Linear Equations. Introduction Study of a linear system of equations is classical. First let s consider a system having only one equation: 2x+3y +4z = 5 (2.) Indeterminates x,y,z are

More information

Axioms of Kleene Algebra

Axioms of Kleene Algebra Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

More information

1.4 Equivalence Relations and Partitions

1.4 Equivalence Relations and Partitions 24 CHAPTER 1. REVIEW 1.4 Equivalence Relations and Partitions 1.4.1 Equivalence Relations Definition 1.4.1 (Relation) A binary relation or a relation on a set S is a set R of ordered pairs. This is a very

More information

MATHEMATICS. IMPORTANT FORMULAE AND CONCEPTS for. Final Revision CLASS XII CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION.

MATHEMATICS. IMPORTANT FORMULAE AND CONCEPTS for. Final Revision CLASS XII CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION. MATHEMATICS IMPORTANT FORMULAE AND CONCEPTS for Final Revision CLASS XII 2016 17 CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION Prepared by M. S. KUMARSWAMY, TGT(MATHS) M. Sc. Gold Medallist (Elect.),

More information

Lecture 7: Relations

Lecture 7: Relations Lecture 7: Relations 1 Relation Relation between two objects signify some connection between them. For example, relation of one person being biological parent of another. If we take any two people at random,

More information

MAD 3105 PRACTICE TEST 2 SOLUTIONS

MAD 3105 PRACTICE TEST 2 SOLUTIONS MAD 3105 PRACTICE TEST 2 SOLUTIONS 1. Let R be the relation defined below. Determine which properties, reflexive, irreflexive, symmetric, antisymmetric, transitive, the relation satisfies. Prove each answer.

More information

9. Quantifier-free Equality and Data Structures

9. Quantifier-free Equality and Data Structures 9. Quantifier-free Equality and Data Structures The Theory of Equality T E Σ E : {=, a, b, c,..., f, g, h,..., p, q, r,...} uninterpreted symbols: constants a, b, c,... functions f, g, h,... predicates

More information

MITOCW Lec 11 MIT 6.042J Mathematics for Computer Science, Fall 2010

MITOCW Lec 11 MIT 6.042J Mathematics for Computer Science, Fall 2010 MITOCW Lec 11 MIT 6.042J Mathematics for Computer Science, Fall 2010 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high

More information

In mathematics there are endless ways that two entities can be related

In mathematics there are endless ways that two entities can be related CHAPTER 16 Relations In mathematics there are endless ways that two entities can be related to each other. Consider the following mathematical statements. 5 < 10 5 5 6 = 30 5 5 80 7 > 4 x y 8 3 a b ( mod

More information

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS Discrete Structures: Sample Questions, Exam 2, SOLUTIONS (This is longer than the actual test.) 1. Show that any postage of 8 cents or more can be achieved by using only -cent and 5-cent stamps. We proceed

More information

On sets, functions and relations

On sets, functions and relations On sets, functions and relations Chapter 2 Rosalie Iemhoff 1 Contents 1 Relations 3 1.1 Cartesian product.......................... 4 1.2 Disjoint sum............................. 5 1.3 Relations of arbitrary

More information

CHAPTER THREE: RELATIONS AND FUNCTIONS

CHAPTER THREE: RELATIONS AND FUNCTIONS CHAPTER THREE: RELATIONS AND FUNCTIONS 1 Relations Intuitively, a relation is the sort of thing that either does or does not hold between certain things, e.g. the love relation holds between Kim and Sandy

More information

TOPOLOGICAL ASPECTS OF YAO S ROUGH SET

TOPOLOGICAL ASPECTS OF YAO S ROUGH SET Chapter 5 TOPOLOGICAL ASPECTS OF YAO S ROUGH SET In this chapter, we introduce the concept of transmissing right neighborhood via transmissing expression of a relation R on domain U, and then we study

More information

Notes for Science and Engineering Foundation Discrete Mathematics

Notes for Science and Engineering Foundation Discrete Mathematics Notes for Science and Engineering Foundation Discrete Mathematics by Robin Whitty BSc PhD CMath FIMA 2009/2010 Contents 1 Introduction 1 1.1 The Laws of Arithmetic....................... 2 2 Polynomial

More information