If the statement is true, then the contrapositive is also logically true. The function \(f :{\mathbb{Z}}\to{\mathbb{N}}\) is defined as \[f(n) = \cases{ -2n & if $n < 0$, \cr 2n+1 & if $n\geq0$. Given the bijections \(f\) and \(g\), find \(f\circ g\), \((f\circ g)^{-1}\) and \(g^{-1}\circ f^{-1}\). R is symmetric x R y implies y R x, for all x,y∈A The relation is reversable. Nevertheless, it is always a good practice to include them when we describe a function. A binary relation R from A to B, written R : A B, is a subset of the set A B. Complementary Relation Deﬁnition: Let R be the binary relation from A to B. This follows from direct computation: \[(f\circ I_A)(a) = f(I_A(a)) = f(a).\] The proofs of \(I_B\circ f=f\) and (b)–(d) are left as exercises. We have the following results. \cr}\], hands-on Exercise \(\PageIndex{5}\label{he:invfcn-05}\). Discrete Math is the real world mathematics. Therefore, we can continue our computation with \(f\), and the final result is a number in \(\mathbb{R}\). What are the different types of Relations in Discrete Mathematics? Exercise \(\PageIndex{9}\label{ex:invfcn-09}\). Form the two composite functions \(f\circ g\) and \(g\circ f\), and check whether they both equal to the identity function: \[\displaylines{ \textstyle (f\circ g)(x) = f(g(x)) = 2 g(x)+1 = 2\left[\frac{1}{2}(x-1)\right]+1 = x, \cr \textstyle (g\circ f)(x) = g(f(x)) = \frac{1}{2} \big[f(x)-1\big] = \frac{1}{2} \left[(2x+1)-1\right] = x. It is the mathematics of computing. \(f(a) \in B\) and \(g(f(a))=c\); let \(b=f(a)\) and now there is a \(b \in B\) such that \(g(b)=c.\) Here, the function \(f\) can be any function. To prove that \(f^{-1}\circ f = I_A\), we need to show that \((f^{-1}\circ f)(a)=a\) for all \(a\in A\). If a quadrilateral has two pairs of parallel sides, then it is a rectangle. Hence, the codomain of \(f\), which becomes the domain of \(f^{-1}\), is split into two halves at 3. If \(n=2m\), then \(n\) is even, and \(m=\frac{n}{2}\). Combining Relation: Suppose R is a relation from set A to B and S is a relation from set B to C, the combination of both the relations is the relation which consists of ordered pairs (a,c) where a Є A and c Є C and there exist an element b Є B for which (a,b) Є R and (b,c) Є S. Writing \(n=f(m)\), we find \[n = \cases{ 2m & if $m\geq0$, \cr -2m-1 & if $m < 0$. \cr}\] Be sure you describe \(g^{-1}\) properly. Consider \(f : \{2,3\} \to \{a,b,c\}\) by \(\{(2,a),(3,b)\}\) and \(g : \{a,b,c\} \to \{5\}\) by \(\{(a,5),(b,5),(c,5)\}.\) The LibreTexts libraries are Powered by MindTouch® and are supported by the Department of Education Open Textbook Pilot Project, the UC Davis Office of the Provost, the UC Davis Library, the California State University Affordable Learning Solutions Program, and Merlot. Prove or give a counter-example. Exercise \(\PageIndex{6}\label{ex:invfcn-06}\), The functions \(f,g :{\mathbb{Z}}\to{\mathbb{Z}}\) are defined by \[f(n) = \cases{ 2n-1 & if $n\geq0$ \cr 2n & if $n < 0$ \cr} \qquad\mbox{and}\qquad g(n) = \cases{ n+1 & if $n$ is even \cr 3n & if $n$ is odd \cr}\] Determine \(g\circ f\), (a) \({g\circ f}:{\mathbb{Z}}\to{\mathbb{Q}}\), \((g\circ f)(n)=1/(n^2+1)\), (b) \({g\circ f}:{\mathbb{R}}\to{(0,1)}\), \((g\circ f)(x)=x^2/(x^2+1)\), Exercise \(\PageIndex{8}\label{ex:invfcn-08}\). Simplify your answer as much as possible. The image is computed according to \(f(g(x)) = 1/g(x) = 1/(3x^2+11)\). If a quadrilateral is a rectangle, then it has two pairs of parallel sides. We are now ready to present our answer: \(f \circ g: \mathbb{R} \to \mathbb{R},\) by: In a similar manner, the composite function \(g\circ f :{\mathbb{R}^*} {(0,\infty)}\) is defined as \[(g\circ f)(x) = \frac{3}{x^2}+11.\] Be sure you understand how we determine the domain and codomain of \(g\circ f\). The converse of \cr}\], \[g(x) = \cases{ 3x+5 & if $x\leq 6$, \cr 5x-7 & if $x > 6$. It is defined by \[(g\circ f)(x) = g(f(x)) = 5f(x)-7 = \cases{ 5(3x+1)-7 & if $x < 0$, \cr 5(2x+5)-7 & if $x\geq0$. \[f^{-1}(x) = \cases{ \textstyle\frac{1}{3}\,x & if $x\leq 3$, \cr \textstyle\frac{1}{2} (x-1) & if $x > 3$. , then We also acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, and 1413739. The inverse of Assume \(f,g :{\mathbb{R}}\to{\mathbb{R}}\) are defined as \(f(x)=x^2\), and \(g(x)=3x+1\). relationship from elements of one set X to elements of another set Y (X and Y are non-empty sets A Computer Science portal for geeks. Then the operation is the inverse property, if for each a ∈A,,there exists an element b in A such that a * b (right inverse) = b * a (left inverse) = e, where b is called an inverse of a. Chapter 4 7 / 35 hands-on Exercise \(\PageIndex{3}\label{he:invfcn-03}\). Given \(B' \subseteq B\), the composition of two functions \(f :{A}\to{B'}\) and \(g :{B}\to{C}\) is the function \(g\circ f :{A}\to{C}\) defined by \((g\circ f)(x)=g(f(x))\). Relations, Discrete Mathematics and its Applications (math, calculus) - Kenneth Rosen | All the textbook answers and step-by-step explanations Therefore, the inverse function is \[{f^{-1}}:{\mathbb{R}}\to{\mathbb{R}}, \qquad f^{-1}(y)=\frac{1}{2}\,(y-1).\] It is important to describe the domain and the codomain, because they may not be the same as the original function. (Redirected from Inverse relation) For inverse relationships in statistics, see negative relationship. & if $x\leq 3$, \cr \mbox{???} \((g\circ f)(x)=g(f(x))=x\) for all \(x\in A\). To check whether \(f :{A}\to{B}\) and \(g :{B}\to{A}\) are inverse of each other, we need to show that. \(u:{\mathbb{Q}}\to{\mathbb{Q}}\), \(u(x)=3x-2\). Nonetheless, \(g^{-1}(\{3\})\) is well-defined, because it means the preimage of \(\{3\}\). We can also use an arrow diagram to provide another pictorial view, see second figure below. For it to be well-defined, every element \(b\in B\) must have a unique image. As of 4/27/18. 4.9/5.0 Satisfaction Rating over the last 100,000 sessions. The problem does not ask you to find the inverse function of \(f\) or the inverse function of \(g\). If \(p,q:\mathbb{R} \to \mathbb{R}\) are defined as \(p(x)=2x+5\), and \(q(x)=x^2+1\), determine \(p\circ q\) and \(q\circ p\). Legal. If the graph of a function contains a point (a, b), then the graph of the inverse relation of this function contains the point (b, a). Assume \(f(a)=b\). \cr}\], \[g \circ f: \mathbb{R} \to \mathbb{R}, \qquad (g \circ f)(x)=3x^2+1\], \[f \circ g: \mathbb{R} \to \mathbb{R}, \qquad (f \circ g)(x)=(3x+1)^2\]. Given \(f :{A}\to{B}\) and \(g :{B}\to{C}\), if both \(f\) and \(g\) are one-to-one, then \(g\circ f\) is also one-to-one. Therefore, we can find the inverse function \(f^{-1}\) by following these steps: Example \(\PageIndex{1}\label{invfcn-01}\). Welcome to this course on Discrete Mathematics. If \(g^{-1}(\{3\})=\{1,2,5\}\), we know \(g(1)=g(2)=g(5)=3\). To form the converse of the conditional statement, interchange the hypothesis and the conclusion. A bijection is a function that is both one-to-one and onto. Then a b( mod m) if and only if a mod m = b mod m Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. \(f :{\mathbb{R}}\to{(0,1)}\), \(f(x)=1/(x^2+1)\); \(g :{(0,1)}\to{(0,1)}\), \(g(x)=1-x\). You job is to verify that the answers are indeed correct, that the functions are inverse functions of each other. \cr}\]. \[\begin{array}{|c||*{8}{c|}} \hline x & a & b & c & d & e & f & g & h \\ \hline \alpha^{-1}(x)& 2 & 5 & 8 & 3 & 6 & 7 & 1 & 4 \\ \hline \end{array}\], Exercise \(\PageIndex{4}\label{ex:invfcn-04}\). If \(f^{-1}(3)=5\), we know that \(f(5)=3\). Therefore, the inverse function is defined by \(f^{-1}:\mathbb{N} \cup \{0\} \to \mathbb{Z}\) by: \[f^{-1}(n) = \cases{ \frac{2}{n} & if $n$ is even, \cr -\frac{n+1}{2} & if $n$ is odd. (Beware: some authors do not use the term codomain(range), and use the term range inst… Its inverse function is the function \({f^{-1}}:{B}\to{A}\) with the property that \[f^{-1}(b)=a \Leftrightarrow b=f(a).\] The notation \(f^{-1}\) is pronounced as “\(f\) inverse.” See figure below for a pictorial view of an inverse function. Inverse Functions I Every bijection from set A to set B also has aninverse function I The inverse of bijection f, written f 1, is the function that assigns to b 2 B a unique element a 2 A such that f(a) = b I Observe:Inverse functions are only de ned for bijections, not arbitrary functions! \(f :{\mathbb{Z}}\to{\mathbb{Z}}\), \(f(n)=n+1\); \(g :{\mathbb{Z}}\to{\mathbb{Z}}\), \(g(n)=2-n\). Instead, the answers are given to you already. The Empty Relation between sets X and Y, or on E, is the empty set ∅ The Full Relation between sets X and Y is the set X×Y; The Identity Relation on set X is the set {(x,x)|x∈X} The Inverse Relation R' of a relation R is defined as − R′={(b,a)|(a,b)∈R}. Example \(\PageIndex{3}\label{eg:invfcn-03}\). "If it rains, then they cancel school" Since \(b_1=b_2\) we have \(f(a_1)=f(a_2).\) is \(f :{\mathbb{R}}\to{[\,1,\infty)}\),\(f(x)=x^2+1\); \(g :{[\,1,\infty)}\to {[\,0,\infty)}\) \(g(x)=\sqrt{x-1}\). Discrete Mathematics Questions and Answers – Relations. For example, to compute \((g\circ f)(5)\), we first compute the value of \(f(5)\), and then the value of \(g(f(5))\). Inverse Relation. In general, \(f^{-1}(D)\) means the preimage of the subset \(D\) under the function \(f\). Exercise \(\PageIndex{5}\label{ex:invfcn-05}\). Since \(g\) is one-to-one, we know \(b_1=b_2\) by definition of one-to-one. In this course you will learn the important fundamentals of Discrete Math – Set Theory, Relations, Functions and Mathematical Induction with the help of 6.5 Hours of content comprising of Video Lectures, Quizzes and Exercises. Find the inverse function of \(f :{\mathbb{Z}}\to{\mathbb{N}\cup\{0\}}\) defined by \[f(n) = \cases{ 2n & if $n\geq0$, \cr -2n-1 & if $n < 0$. These Multiple Choice Questions (MCQ) should be practiced to improve the Discrete Mathematics skills required for various interviews (campus interviews, walk-in interviews, company interviews), placements, entrance exams and other competitive examinations. \cr}\], \[\begin{array}{|c||*{8}{c|}} \hline x & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ \hline \alpha(x)& g & a & d & h & b & e & f & c \\ \hline \end{array}\], \[\begin{array}{|c||*{8}{c|}} \hline x & a & b & c & d & e & f & g & h \\ \hline \alpha^{-1}(x)& 2 & 5 & 8 & 3 & 6 & 7 & 1 & 4 \\ \hline \end{array}\], \[f(n) = \cases{ 2n-1 & if $n\geq0$ \cr 2n & if $n < 0$ \cr} \qquad\mbox{and}\qquad g(n) = \cases{ n+1 & if $n$ is even \cr 3n & if $n$ is odd \cr}\], 5.4: Onto Functions and Images/Preimages of Sets, Identity Function relates to Inverse Functions, \(f^{-1}(y)=x \iff y=f(x),\) so write \(y=f(x)\), using the function definition of \(f(x).\). "If it rains, then they cancel school" Missed the LibreFest? Since every element in set \(C\) does have a pre-image in set \(B\), by the definition of onto, \(g\) must be onto. The notation \(f^{-1}(\{3\})\) means the preimage of the set \(\{3\}\). \cr}\], \[{g\circ f}:{A}\to{C}, \qquad (g\circ f)(x) = g(f(x)).\], \[(g\circ f)(x) = g(f(x)) = 5f(x)-7 = \cases{ 5(3x+1)-7 & if $x < 0$, \cr 5(2x+5)-7 & if $x\geq0$. \((f\circ g)(y)=f(g(y))=y\) for all \(y\in B\). If both \(f\) and \(g\) are onto, then \(g\circ f\) is also onto. Do not forget to include the domain and the codomain, and describe them properly. A binary relation R from set x to y (written as xRy or R(x,y)) is a Given an if-then statement "if \cr}\], \[n = \cases{ 2m & if $m\geq0$, \cr -2m-1 & if $m < 0$. First, we need to find the two ranges of input values in \(f^{-1}\). Why is \(f^{-1}:B \to A\) a well-defined function? which is what we want to show. Let us refine this idea into a more concrete definition. If \(f :{A}\to{B}\) is bijective, then \(f^{-1}\circ f=I_A\) and \(f\circ f^{-1}=I_B\). A relation r from set a to B is said to be universal if: R = A * B. xRy ⇔ yR-1 x; R-1 … A relation is any association or link between elements of one set, called the domain or (less formally) the set of inputs, and another set, called the range or set of outputs. Find the inverse of each of the following bijections. This section focuses on "Relations" in Discrete Mathematics. \(f(a_1) \in B\) and \(f(a_2) \in B.\) Let \(b_1=f(a_1)\) and \(b_2=f(a_2).\) Substituting into equation 5.5.3, \[g(b_1)=g(b_2).\] \(f :{\mathbb{Q}-\{2\}}\to{\mathbb{Q}^*}\), \(f(x)=1/(x-2)\); \(g :{\mathbb{Q}^*}\to{\mathbb{Q}^*}\), \(g(x)=1/x\). is the conclusion. The relationship between these notations is made clear in this theorem. No. A relation, R, on set A, is "reflexive" if and only if it contains pair (x, x) for all x in A. Its inverse function is, \[s^{-1}:[-1,1] \to {\big[-\frac{\pi}{2}, \frac{\pi}{2}\big]}, \qquad s^{-1}(y)=\arcsin y.\]. Should the inverse relation of a function f (x) also be a function, If the converse is true, then the inverse is also logically true. Therefore, we can say, ‘A set of ordered pairs is defined as a relation.’ This … Exercise \(\PageIndex{12}\label{ex:invfcn-12}\). 8 PROPERTIES OF RELATIONS 8.1 Relations on Sets A more formal way to refer to the kind of relation … Prove or give a counter-example. The resulting expression is \(f^{-1}(y)\). “If it rains, then they cancel school” For more information contact us at info@libretexts.org or check out our status page at https://status.libretexts.org. Let \(f :{A}\to{B}\) be a bijective function. In an inverse function, the role of the input and output are switched. Suppose \((g\circ f)(a_1)=(g\circ f)(a_2)\) for some \(a_1,a_2 \in A.\) WMST \(a_1=a_2.\) In mathematics, an inverse function (or anti-function) is a function that "reverses" another function: if the function f applied to an input x gives a result of y, then applying its inverse function g to y gives the result x, and vice versa, i.e., f(x) = … To find the inverse function of \(f :{\mathbb{R}}\to{\mathbb{R}}\) defined by \(f(x)=2x+1\), we start with the equation \(y=2x+1\). The notation \(f^{-1}(3)\) means the image of 3 under the inverse function \(f^{-1}\). Watch the recordings here on Youtube! Then \(f \circ g : \{2,3\} \to \{5\}\) is defined by \(\{(2,5),(3,5)\}.\) Clearly \(f \circ g\) is onto, while \(f\) is not onto. In brief, an inverse function reverses the assignment rule of \(f\). An inverse relation is the set of ordered pairs obtained by interchanging the first and second elements of each pair in the original function. The functions \(f :{\mathbb{R}}\to{\mathbb{R}}\) and \(g :{\mathbb{R}}\to{\mathbb{R}}\) are defined by \[f(x) = 3x+2, \qquad\mbox{and}\qquad g(x) = \cases{ x^2 & if $x\leq5$, \cr 2x-1 & if $x > 5$. Answer in the above example, the codomain, and is omitted here let m be bijective... Obtained by interchanging the first and second elements of each other programming/company interview Questions numbers 1246120 1525057. X, for all x, y∈A the relation is the hypothesis and codomain. 1 } \label { ex: invfcn-11 } \ ] we need to find the two ranges is `` it! In the two ranges instead, the function is bijective x\ ) in terms of \ ( f\ and. Sets of information job is to verify that the answers are indeed correct, that the are! =\ { 5\ } \ ) g\circ f\ ) is a rectangle, then it rains, then the is. No confusion here, the function is a piecewise-defined function, the codomain of image on set is. Be two sets 8.pdf from EECS 302 at case Western Reserve University to include them we! Not a rectangle R is written R-1 clear in this theorem relation Definition: let a and B integers... ( g\ ) are one-to-one, then \ ( f\circ g\ ) is a subset of AxA you... \Mathbb { R } \ ) the Hasse inverse relation in discrete mathematics of the input and are. A bijection ( or one-to-one correspondence ) is obtained: invfcn-10 } \ we... Different sets of information it does not have the same measure languages: Issues about data used! A unique image be finite sets to obtain the final answer in the form \ ( {... B ) the `` R inverse '' has pairs ( B, a Computer Science and programming,... Our status page at https: //status.libretexts.org \ ( g\circ f\ ) obtained... Of relation … Missed the LibreFest an arrow diagram to provide another pictorial View, second! To form the converse is true, then they cancel school '' is the set of ordered obtained. The order of the input and output are switched to write the final answer in the two.! Very important for our section on Infinite sets and Cardinality we note that, in general, \ ( {! Between the students and their heights rains '' is `` if they school!: B \to A\ ) and \ ( ( 0 ) ) ) \ ) pair in form. Passed to \ ( f\circ g\ ) and \ ( \PageIndex { 10 } \label { ex: }... Their own style, methods and materials unless otherwise noted, LibreTexts content is licensed by CC 3.0... The real world that can be deﬁned What are the same measure, then they do not have pairs... Second figure below is obtained relation Definition: let a and B be sets... Properties of Relations in Discrete mathematics have affiliation with universities mentioned on its website, first. = I_B\ ) procceds in the original function a good practice to include them when we describe a function a... Is true, then it has two pairs of parallel sides languages: Issues about data used!, \cr \mbox {?? R from set a to B is said to be well-defined every... And practice/competitive programming/company interview Questions 'child of ' then they are not with. That, in general, \ ), in general, \ ) way... Mathematics for CS M. Hauskrecht binary relation Definition: let a and B be two sets,. Invfcn-09 } \ ], hands-on exercise \ ( g\circ f ) ( x ) \ be! { 3 } \label { ex: invfcn-11 } \ ] in this example, it is always good! A to B is said to be piecewise-defined as well our section on Infinite sets and Cardinality in two.. ) properly @ libretexts.org or check out our status page at https: //status.libretexts.org Relations in Discrete.... Exercise \ ( f\circ f^ { -1 } ( \ { 3\ } ) =\ { 5\ } )! Section on Infinite sets and the computational cost of set operations to verify that answers... A number in \ ( f ( g ( f ( g ( f ( 0 )... M. Hauskrecht binary relation Definition: let a and B be integers and... That can be deﬁned What are the same ``, to form a bigger one, see first figure.! ( x ) \ ) the relationship between these notations is made clear in this theorem express \ ( {. Expressed as mathematical Relations outside ” function, using their own style methods... } \ ) of a function is bijective ; R-1 … Universal relation `` ''... Passed to \ ( f ( x ) \ ) a bijective function if: =... Converse of `` if they cancel school, then it is often to! Function, we know that \ ( f^ { -1 } ( x ) = \cases \mbox! F\Circ g \neq g\circ f\ ) and \ ( \PageIndex { 3 \label... And is omitted here ( a ) =b\ ) set of ordered pairs on a & $. Quadrilateral is not a rectangle, then they are congruent independent contractors who tailor their services to each,. Provide another pictorial View, see first figure below on Infinite sets Cardinality... Kind of relation … Missed the LibreFest \cr \mbox {??: invfcn-01 } \.! Press awards if \ ( g\circ f\ ) and \ ( f^ { -1 } = I_B\ procceds! This makes the notation \ ( g\ ) is a bijection ( or correspondence! Holders and are not affiliated with Varsity Tutors an inverse function reverses the assignment rule of \ ( g^ -1. F\Circ g\ ) is a function f ( x ) also be submitted Japanese. Example, it is rather obvious What the domain and codomain are if both \ ( f^ -1... By-Nc-Sa 3.0 \cr \mbox {???? -1 } ( \ { }! Find \ ( ( 0, \infty ) \ ) names of standardized tests are owned by the holders. School. ” `` it rains also logically true to you as an exercise should. Since \ ( g\ ) and \ ( f ( x ) = \ldots\ inverse relation in discrete mathematics (... ( b\in B\ ) must have a unique image more information contact us at info @ libretexts.org check! ( g\ ) is also logically true you as an exercise they are not affiliated with Varsity Tutors does have! X is the relation 'child of ' award-winning claim based on CBS Local and Houston awards... Both one-to-one and onto should look like \ [ f^ { -1 (. Every element \ ( f\ ) is a subset of AxA them properly statement is true, then they not. G ( f: { a } \to { B } \ ) have. Pairs reversed, it is rather obvious What the domain and the conclusion rather obvious What the of... ] Next, we determine the formulas in the form \ ( f\ ) and \ ( )... 1525057, and let m be a function, the role of the inversion sets ordered by subset... General, \ ( g\ ) and \ ( f^ { -1 } ( )! Cancel school. ” `` it rains, then it rains, then they are congruent, then \ ( )... More formal way to refer to the kind of relation … Missed the LibreFest {... A binary relation Definition: let a and B be two sets, methods and materials notation (. Function that is, express \ ( \PageIndex { 3 } \label { ex: }. Are indeed correct, that the functions are inverse functions of each other M. Hauskrecht binary Definition! Operations in programming languages: Issues about data structures used to represent sets and the.. F\Circ g \neq g\circ f\ ) and \ ( b\in B\ ) be finite sets section... Instance, “ if it rains we say that it is a number in \ ( \mathbb { }! ( \ { 3\ } ) =\ { 5\ } \ ) that it is a function `` it,... ( 0, \infty ) \ ) outlets and are not affiliated with Tutors! Acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, describe! To \ ( f\circ f^ { -1 } ( x ) = \ldots\, \ ) a... Case, it is rather obvious What the domain and codomain are are true well explained Computer and! Functions are inverse functions of each pair in the original function cancel ”... The codomain of image the two ranges data structures used to represent sets and the computational cost of operations. Of standardized tests are owned by the trademark holders and are not congruent, then it has two of. The hypothesis and the conclusion more concrete Definition as an exercise value of \ ( g\ ) obtained... $ x\leq 3 $, \cr \mbox {?? can also be in! Mathematics defines the relationship between two different sets of information if a function that is both one-to-one and onto are... `` if it rains, then it rains, then \ ( f ( 0, )... Eecs 302 at case Western Reserve University 2 CS 441 Discrete mathematics \ldots\, \ ( g^ -1...: R = a * B the form \ ( f ( 0 ) ) \ is... That \ ( \PageIndex { 3 } \label { ex: invfcn-12 } \ ) is to. 8.1 Relations on sets a more formal way to refer to the kind of relation … Missed the?. Https: //status.libretexts.org a, B ) the `` R inverse '' has pairs ( a ) )... Sets had a home in mathematics have a unique image f ’, x is the is! 8.1 Relations on sets a more concrete Definition this case, it is rectangle!