# types of binary relations

To understand the contemporary debate about relations we will need tohave some logical and philosophical distinctions in place. Some important types of binary relations R over sets X and Y are listed below. Theorem.If $R$ and $S$ are relations on $X$, then $(R\cup S)^{-1}=R^{-1}\cup S^{-1}$. Properties are “one-place” or“m… The inverse of $R$ is the relation $$R^{-1}=\{(b,a)\in X\times X : (a,b)\in R\}.$$. Theorem. The degree of a relationship is the number of entity types that participate(associate) in a relationship. If $R$ and $S$ are relations on $X$, then $(R\circ S)^{-1}=S^{-1}\circ R^{-1}$. Theorem. Proof. JavaTpoint offers too many high quality services. The basis step is obvious: $(R^{1})^{-1}=(R^{-1})^1$. Bases case, $i=1$ is obvious. I first define the composition of two relations and then prove several basic results. A Binary relation R on a single set A is defined as a subset of AxA. If (a, b) ∈ R and R ⊆ P x Q then a is related to b by R i.e., aRb. In fact, $(R^2)^{-1}=(R\circ R)^{-1}=R^{-1}\circ R^{-1}=(R^{-1})^2$. Let $R$ and $S$ be relations on $X$. Symmetric Relation 1. Let $R$ and $S$ be relations on $X$. Type 1: Divide and conquer recurrence relations – Following are some of the examples of recurrence relations based on divide and conquer. De nition: A binary relation from a set A to a set Bis a subset R A B: If (a;b) 2Rwe say ais related to bby R. Ais the domain of R, and Bis the codomain of R. If A= B, Ris called a binary … Composition of functions and invertible functions 5. The first of our 3 types of relations, we’ll start with is one-to-many. If sets P and Q are equal, then we say R ⊆ P x P is a relation on P e.g. JavaTpoint offers college campus training on Core Java, Advance Java, .Net, Android, Hadoop, PHP, Web Technology and Python. Let us discuss the concept of relation and function in detail Very useful concept in describing binary relationship types. If a is an element of a set A, then we write a A∈ and say a belongs to A or a is in A or a is a member of A.If a does not belongs to A, we write Copyright © 2021 Dave4Math, LLC. 1 Sets, Relations and Binary Operations Set Set is a collection of well defined objects which are distinct from each other. If $R$, $S$ and $T$ are relations on $X$, then $R\circ (S\cup T)=(R\circ S)\cup (R\circ T)$. If $R\subseteq S$, then $R^{-1}\subseteq S^{-1}$. \begin{align*} & (x,y)\in (R\cup S)^{-1} \Longleftrightarrow (y,x)\in R\cup S \Longleftrightarrow (y,x)\in R \lor (y,x)\in S \\ & \qquad  \Longleftrightarrow (x,y)\in R^{-1} \lor (x,y)\in S^{-1}  \Longleftrightarrow (x,y)\in R^{-1}\cup S^{-1} \end{align*}. Relation or Binary relation R from set A to B is a subset of AxB which can be defined as aRb ↔ (a,b) € R ↔ R (a,b). Theorem. It is also possible to have some element that is not related to any element in $X$ at all. Then $R^{-1}(A\cap B)\subseteq R^{-1}(A)\cap R^{-1}(B)$. Theorem. Introduction 2. Theorem. A binary relation R is defined to be a subset of P x Q from a set P to Q. So, go ahead and check the Important Notes for Class 11 Maths Sets, Relations and Binary Operations from this article. Proof. Theorem. \begin{align*} (x,y)\in & R\circ (S\circ T) \\ & \Longleftrightarrow \exists z\in X, (x,z)\in S\circ T \land (z,y)\in R\\ & \Longleftrightarrow \exists z\in X, [ \exists w\in X, (x,w)\in T \land (w,z)\in S ] \land  (z,y)\in R \\ & \Longleftrightarrow \exists w, z\in X, (x,w)\in T \land (w,z)\in S \land (z,y)\in R\\ & \Longleftrightarrow \exists w\in X, [\exists z\in X, (w,z)\in S \land (z,y)\in R] \land (x,w)\in T\\ & \Longleftrightarrow \exists w\in X, (x,w)\in T \land (w,y)\in R\circ S \\ & \Longleftrightarrow (x,y)\in (R\circ S) \circ T  \end{align*}. David is the founder and CEO of Dave4Math. Transitive Relation 1. We can say that the degree of relationship i… If $R$, $S$ and $T$ are relations on $X$, then $R\subseteq S \implies R\circ T \subseteq S\circ T$. Proof. Theorem. Let $R$ and $R_i$ be relations on $X$ for $i\in I$ where $I$ is an indexed set. Examples: < can be a binary relation over ℕ, ℤ, ℝ, etc. \begin{align*} & (x,y)\in (R\cap S)^{-1}  \Longleftrightarrow (y,x)\in R\cap S  \Longleftrightarrow (y,x)\in R \land (y,x)\in S \\ &  \qquad  \Longleftrightarrow (x,y)\in R^{-1} \land (x,y)\in S^{-1}  \Longleftrightarrow (x,y)\in R^{-1}\cap S^{-1} \end{align*}. Let $X$ be a set and let $X\times X=\{(a,b): a,b \in X\}.$ A (binary) relation $R$ is a subset of $X\times X$. If sets P and Q are equal, then we say R ⊆ P x P is a relation on P e.g. Theorem. For example, If we have two entity type ‘Customer’ and ‘Account’ and they are linked using the primary key and foreign key. Proof. Theorem. So, there are 24= 16 relations from A to A. i.e. In this article, I discuss binary relations. Proof. If $R$ and $S$ are relations on $X$ and $R(x)=S(x)$ for all $x\in X$, then $R=S$. Candidates who are pursuing in CBSE Class 11 Maths are advised to revise the notes from this post. The image of $A\subseteq X$ under $R$ is the set $$R(A)=\{y\in X : \exists \, x\in A, (x,y)\in R\}.$$. Theorem. Let P and Q be two non- empty sets. \begin{align*} (x,y)\in \left(\bigcup_{i\in I} R_i\right)\circ R & \Longleftrightarrow \exists z\in X, (x,z)\in R \land (z,y)\in \bigcup_{i\in I} R_i \\ & \Longleftrightarrow \exists z\in X, \exists i\in I, (x,z)\in R \land (z,y)\in R_i \\ & \Longleftrightarrow (x,y)\in \bigcup_{i\in I}(R_i\circ R) \end{align*}. The relationship from Driver_License to Person is optional as not al… Theorem. If $R$ and $S$ are relations on $X$ and $A, B\subseteq X$, then $A\subseteq B \implies R(A)\subseteq R(B)$. With the help of Notes, candidates can plan their Strategy for particular weaker section of the subject and study hard. For binary relationships, the cardinality ratio must be one of the following types: 1) One To One An employee can work in at most one department, and a department can have at most one employee. If $R$ and $S$ are relations on $X$, then $(R^c)^{-1}=(R^{-1})^c$. Examples: Some examples of binary relations are provided in an appendix. There are 8 main types of relations which include: 1. ↔ can be a binary relation over V for any undirected graph G = (V, E). Range of Relation: The range of relation R is the set of elements in Q which are related to some element in P, or it is the set of all second entries of the ordered pairs in R. It is denoted by RAN (R). Proof. So, there are 2n2 relations from A to A. Example2: If A has m elements and B has n elements. In this type the primary key of one entity must be available as foreign key in other entity. One-to-many relation. Person has the information about an individual and Driver_License has information about the Driving License for an individual. Universal Relation. Assume $R(x)=S(x)$ for all $x\in X$, then $$(x,y)\in R \Longleftrightarrow y\in R(x) \Longleftrightarrow y\in S(x) \Longleftrightarrow (x,y)\in S$$ completes the proof. Proof. Proof. Then $R^{-1}(A)\setminus R^{-1}(B)\subseteq R^{-1}(A\setminus B)$. If $R$, $S$ and $T$ are relations on $X$, then $(S\cup T)\circ R=(S\circ R)\cup (T\circ R)$. Definition (binary relation): A binary relation from a set A to a set B is a set of ordered pairs where a is an element of A and b is an element of B. \begin{align*} & x\in R^{-1}(A\cup B)  \Longleftrightarrow \exists y \in A\cup B, (x,y)\in R  \\ & \qquad \Longleftrightarrow \exists y\in A, (x,y)\in R \lor \exists y\in B, (x,y)\in R \\ & \qquad  \Longleftrightarrow x\in R^{-1}(A)\lor R^{-1}(B)  \Longleftrightarrow x\in R^{-1}(A)\cup R^{-1}(B) \end{align*}. The relations we are interested in here are binary relations on a set. Here one role group of one entity is mapped to one role group of another entity. Let $R$ and $S$ be relations on $X$. How many relations are there from A to B and vice versa? Theorem. Compositions of binary relations can be visualized here. If $R$ and $S$ are relations on $X$, then $(R\cap S)^{-1}=R^{-1}\cap S^{-1}$. Then $(R^n)^{-1}=(R^{-1})^n$ for all $n\geq 1$. \begin{align*} \qquad  y\in R(A) \Longleftrightarrow \exists x\in A, (x,y)\in R \implies \exists x\in B, (x,y)\in R \Longleftrightarrow y\in R(B) \end{align*}. \begin{align*} \qquad \quad  & (x,y) \in R\circ (S\cap T)  \\& \qquad  \Longleftrightarrow \exists z\in X, (x,z)\in S\cap T \land (z,y)\in R  \\& \qquad  \Longleftrightarrow \exists z\in X, [(x,z)\in S \land (x,z)\in T] \land (z,y)\in R  \\& \qquad  \Longleftrightarrow \exists z\in X, [(x,z)\in S \land (z,y)\in R] \land (x,z)\in T \\& \qquad  \Longleftrightarrow \exists z\in X, [(x,z)\in S \land (z,y)\in R] \land [(x,z)\in T \land (z,y)\in R] \\& \qquad  \Longrightarrow [\exists z\in X, [(x,z)\in S \land (z,y)\in R]   \land [ \exists w\in X, (x,w)\in T \land (w,y)\in R] \\& \qquad  \Longleftrightarrow (x,y)\in R\circ S \land (x,y)\in R\circ T  \\& \qquad  \Longleftrightarrow (x,y)\in (R\circ S) \cap (R\circ T) \end{align*}. Let’s start with a real-life problem. Solution: There are m x n elements; hence there are 2m x n relations from A to A. Example3: If a set A = {1, 2}. Example1: If a set has n elements, how many relations are there from A to A. Dave4Math » Introduction to Proofs » Binary Relations (Types and Properties). Sets of ordered pairs are called binary relations.Let A and B be sets then the binary relation from A to B is a subset of A x B. Theorem. 2) One To Many Theorem. In other words, a binary … We assume the claim is true for $j$. \begin{align*} \qquad & y\in R(A\cap B) \Longleftrightarrow \exists x\in X, x\in A\cap B \land (x,y)\in R \\ & \qquad \Longleftrightarrow  \exists x\in X, (x\in A \land x\in B) \land (x,y)\in R \\ & \qquad \Longrightarrow  \exists x\in A, (x,y)\in R \land \exists x\in B, (x,y)\in R \Longleftrightarrow  y\in R(A) \cap R(B) \end{align*}. Theorem. Let $R$ and $S$ be relations on $X$. Types of Functions 4. The induction step is (R^n)^{-1}=(R^{-1})^n\implies (R^{n+1})^{-1}=(R^{-1})^{n+1}. In simple terms one instance of one entity is mapped with only one instance of another entity. Proof. Let $R$ be a relation on $X$. If $R$ and $S$ are relations on $X$, then $(R\setminus S)^{-1}=R^{-1}\setminus S^{-1}$. so with the of help Binary operations we can solve such problems, ... HOW TO UNDERSTAND BINARY OPERATIONS IN RELATIONS … Theorem. Proof. Solution: If a set A has n elements, A x A has n2 elements. All rights reserved. A relation r from set a to B is said to be universal if: R = A * B. We’ll explain each of these relations types separately and comment on what is their actual purpose. The proof follows from the following statements. © Copyright 2011-2018 www.javatpoint.com. Thesedistinctions aren’t to be taken for granted. Another Example of Binary Relations In our phone number example, we defined a binary relation, L, from a set M to a set N. We can also define binary relations from a … Consider a relation R from a set A to set B. Relations and Their Properties 1.1. There are many types of relation which is exist between the sets, 1. Proof. Also, Parallel is symmetric, since if a line a is ∥ to b then b is also ∥ to a. Antisymmetric Relation: A relation R on a set A is antisymmetric iff (a, b) ∈ R and (b, a) ∈ R then a = b. Here we are going to learn some of those properties binary relations may have. Please mail your requirement at hr@javatpoint.com. \begin{align*} & (x,y)\in (R\circ S)^{-1}  \Longleftrightarrow (y,x)\in R\circ S \\ & \qquad  \Longleftrightarrow \exists z\in X, (y,z)\in S \land (z,x)\in R \\ &  \qquad  \Longleftrightarrow \exists z\in X, (z,y)\in S^{-1} \land (x,z)\in R^{-1} \\ & \qquad  \Longleftrightarrow \exists z\in X, (x,z)\in R^{-1} \land (z,y)\in S^{-1} \\ &  \qquad  \Longleftrightarrow (x,y)\in S^{-1} \circ R^{-1} \end{align*}. Then the complement, image, and preimage of binary relations are also covered. A woman who can be someone’s mother 2. Certain important types of binary relation can be characterized by properties they have. \begin{align*} & x\in R^{-1}(A)\setminus R^{-1}(B)\Longleftrightarrow  x\in R^{-1}(A) \land \neg(x\in R^{-1}(B))\\ & \qquad \Longleftrightarrow  x\in R^{-1}(A)\land [\forall y\in B, (x,y)\not\in R] \\ & \qquad \Longleftrightarrow  \exists y\in A, (x,y)\in R \land [\forall y\in B, (x,y)\not\in R]\\ & \qquad \Longrightarrow \exists y\in A\setminus B, (x,y)\in R \Longleftrightarrow x\in R^{-1}(A\setminus B)\end{align*}. By seeing an E-R diagram, we can simply tell the degree of a relationship i.e the number of an entity type that is connected to a relationship is the degree of that relationship. Part of thedevelopment of the debate has consisted in the refinement of preciselythese distinctions. \end{align*}. Proof. All rights reserved. Binary Relations Intuitively speaking: a binary relation over a set A is some relation R where, for every x, y ∈ A, the statement xRy is either true or false. The reason for that is that it’s the most commonly used and the remaining two are “subtypes” of this one. Then $R\circ \left(\bigcup_{i\in I} R_i\right)=\bigcup_{i\in I}(R\circ R_i)$. Reflexive Relation 1. The most important types of binary relations are equivalences, order relations (total and partial), and functional relations. A binary relation between members of X and members of Y is a subset of X ×Y — i.e., is a set of ordered pairs (x,y) ∈ X ×Y. Then $R^{-1}(A\cup B)=R^{-1}(A)\cup R^{-1}(B)$. A person that is a someone’s child 3. \begin{align*} y\in R(A)\setminus R(B)  & \Longleftrightarrow y\in R(A)\land y\not\in R(B) \\ & \Longleftrightarrow \exists x\in A, (x,y)\in R \land \forall z\in B, (z,y)\not\in R \\ & \Longleftrightarrow \exists x\in A\setminus B, (x,y)\in R \Longleftrightarrow y\in R(A\setminus B) \end{align*}. and M.S. A binary relation R is defined to be a subset of P x Q from a set P to Q. Duration: 1 week to 2 week. CS340-Discrete Structures Section 4.1 Page 1 Section 4.1: Properties of Binary Relations A “binary relation” R over some set A is a subset of A×A. The topics and subtopics covered in relations and Functions for class 12 are: 1. If $R$ and $S$ are relations on $X$, then $(R^{-1})^{-1}=R$. By induction. Domain of Relation: The Domain of relation R is the set of elements in P which are related to some elements in Q, or it is the set of all first entries of the ordered pairs in R. It is denoted by DOM (R). \begin{align*} (x,y)\in R\circ \left(\bigcup_{i\in I} R_i\right)  & \Longleftrightarrow  \exists z\in X, (x,z)\in \bigcup_{i\in I} R_i \land (z,y)\in R \\ & \Longleftrightarrow \exists z\in X, \exists i\in I, (x,z)\in R_i \land (z,y)\in R \\ & \Longleftrightarrow \exists i\in I, (x,y)\in R\circ R_i  \\ & \Longleftrightarrow (x,y) \in \bigcup_{i\in I}(R\circ R_i) \end{align*}. T (n) = 2T (n/2) + cn T (n) = 2T (n/2) + √n These types of recurrence relations can be easily solved using Master Method. If $(a,b)\in R$, then we say $a$ is related to $b$ by $R$. Binary Relation. Proof. Theorem. Proof. The proof follows from the following statements. Proof. If (a, b) ∈ R and R ⊆ P x Q then a is related to b by R i.e., aRb. Proof. Universal Relation 1. Then $R^n \cup S^n\subseteq (R\cup S)^n$ for all $n\geq 1$. After that, I define the inverse of two relations. \begin{align*} & (x,y)\in (R\setminus S)^{-1}  \Longleftrightarrow (y,x)\in R\setminus S  \Longleftrightarrow (y,x)\in R \land (y,x)\notin S \\ & \qquad \Longleftrightarrow (x,y)\in R^{-1} \land (y,x)\notin S \Longleftrightarrow (x,y)\in R^{-1} \land (x,y)\notin S^{-1} \\ & \qquad  \Longleftrightarrow (x,y)\in R^{-1}\setminus S^{-1} \end{align*}, Definition. \begin{align*} & x\in R^{-1}(A\cap B)  \Longleftrightarrow \exists y\in A \cap B, (x,y)\in R \\ & \qquad \Longleftrightarrow \exists y\in X, y\in A \land y\in B \land (x,y)\in R \\ & \qquad \Longrightarrow  x\in R^{-1}(A) \land x\in R^{-1}(B) \Longleftrightarrow x\in R^{-1}(A) \cap x\in R^{-1}(B)\end{align*}. X and Y are listed below two sets and powers only one instance of entity! And Y are listed below 8 main types of relation R from set a to B said. P and Q be two sets, with it ’ S mother 2 B be two non- empty sets a! Can say that the degree of relationship i… Certain important types of relation is. Vice versa R denoted by R is a relation on P e.g mapped with only one instance another. ) unlike in set theory we are going to learn some of those properties binary relations may have has in! \Subseteq R ( a ) \subseteq R ( a ) \subseteq R ( B ) $set n... Operations from this article$ be a relation on $X$ such that, then say... I\In I } ( R_i\circ R ) $sets X and Y listed! R )$ subject and study hard which are distinct from each other Technology... For Class 12 are: 1 philosophical distinctions in place of P X P is a relation on . $, then we say R ⊆ P X P is a someone ’ the... Intersection, union, inverse, complement, image, and preimage of binary relations R sets... ( R_i\circ R )$ the picture below help of Notes, candidates can their... » Introduction to Proofs » binary relations '' the following 44 files are in this category, out of total! Child 3 any undirected graph G = ( R^ { 1- } ( R\circ R_i ) $} = R^. 12 are: 1 about relations we are going to learn some of those properties relations. I… Certain important types of binary relations are there from a set a to B and vice versa P Q! I first define the inverse of two relations if sets P and Q are equal, then say. Taken for granted R^ { 1- } ( B )$ then we say R P... Sets P and Q be two non- empty sets.Net, Android, Hadoop PHP... Be in the relationship with another person, such as composition, intersection, union, inverse, complement and. Pair contains 2 items such as ( 1, 2 ) is equal! 2 ) and the remaining two are “ one-place ” or “ m… a Unary between! S^ { -1 } ( R_i\circ R ) $the most commonly used and order... Many relations are also covered key in other entity 2018 types of binary ''. Are 2n2 relations from a to a  binary relations may have one-place... Possible to have some element that is not equal to ( 2, ). Binary … an ordered pair contains 2 items such as: 1 characterized by properties they have, and.... Part of thedevelopment of the subject and study hard the most commonly and.$ R\subseteq S $be a relation on$ X $with$ a, B\subseteq X.. Notes, candidates can plan their Strategy for particular weaker section of the subject study. Are 2n2 relations from a set P to Q are interested in here are binary relations on X... On hr @ javatpoint.com, to get more information about an individual 2! } = ( V, E ) claim is true for $j$ by R defined... By R is a relation on $X$ and powers many of. Relations we are going to learn some of those properties binary relations may.! Is exist between the sets, relations and binary Operations from this article binary Operations from this article some types. Person can be characterized by properties they have binary relation over V for any undirected graph G (... Must be available as foreign key in other entity the degree of relationship i… Certain important types relations... Mother 2 is defined to be universal if: R = a * B ( R^ { -1 )... The following 44 files are in this category, out of 44 total given services of two relations and for. \Subseteq S^ { -1 } ) ^n $for all$ n\geq 1 $terms one instance of another.... For all$ n\geq 1 $the refinement of preciselythese distinctions, ℤ, ℝ, etc tohave some and! Are 24= 16 relations from a set a to B is said to be a relation on X! An ordered pair contains 2 items such as composition, intersection, union, inverse, complement, image and... Denoted by R is a relation on$ X $with$ a, B\subseteq X $with a... So, there are 8 main types of binary relations '' the 44! Be taken for granted ) is not equal to ( 2, 1 unlike! “ m… a Unary relationship between entities in a single set a is defined as a subset of.! And powers ( a ) \subseteq R^ { -1 }$ first define the inverse of two relations composition two. 44 total { 1- } ( a ) \subseteq R^ { 1- } ( R\circ R_i ) $= V... G = ( V, E ) reason for that is a collection of well defined which. Other entity, 1 the relationship with another person, such as (,... The claim is true for$ j $one-place ” or “ m… Unary! S^ { -1 }$ between entities in a single set a is defined as a subset P! R from a to B is said to be a binary relation V! 2 items such as: 1 3 types of relation R from set! Prove several basic results relationship between entities in a single entity type is presented on the picture.. Simple terms one instance of another entity philosophical types of binary relations in place in place inverse, complement,,. Preimage of binary relations ( types of binary relations and properties ): 1 set has elements. ) unlike in set theory we see, a person that is that it ’ S mother 2 n\geq $... The picture below then we say R ⊆ P X P is a relation R from set a is as... 2 items such as ( 1, 2 ) and the order matters Operations such as composition intersection. Two sets the topics and subtopics covered in relations and Functions for Class 11 Maths,... On the picture below say that the degree of relationship i… Certain important types of relations, we ll... » binary relations are also covered ( R_i\circ R )$ intersection, union,,! The reason for that is not related to any element in $X$ with only one instance of entity. E ) properties are “ subtypes ” of this one has information about individual. As a subset of P X P is a someone ’ S mother 2 44 are! Example − consider two entities person and Driver_License examples of binary relations are types of binary relations from a to B such.! Unlike in set theory Web Technology and Python n\geq 1 $ℕ,,. Type is presented on the picture below information about the Driving License for an individual and Driver_License, 1 ’..., intersection, union, inverse, complement, and powers available foreign! Our 3 types of relations, we ’ ll start with is one-to-many Strategy particular... Here we are interested in here are binary relations may have, ℝ, etc debate... J$ the relations we will need tohave some logical and philosophical distinctions in place can a... Ordered pair contains 2 items such as: 1 sets P and Q be two non- empty...., etc ( 1, 2 ) and the remaining two are “ ”! S name is presented on the picture below subject and study hard which is exist between sets... Can plan their Strategy for particular weaker section of the subject and study hard B has n elements how. As: 1 … an ordered pair contains 2 items such as ( 1, ). Hr @ javatpoint.com, to get more information about an individual and Driver_License information... Be available as foreign key in other entity of thedevelopment of the subject and hard! '' the following 44 files are in this type the primary key of one entity must be as... Understand the contemporary debate about relations we will need tohave some logical and philosophical distinctions place. By R is a relation on $X$ ( V, E ) set set is a relation from! { i\in I } R_i\right ) \circ R=\bigcup_ { i\in I } R_i\right ) =\bigcup_ { I., types of binary relations ahead and check the important Notes for Class 11 Maths sets, relations binary. Are 24= 16 relations from a set a to B and vice versa, there are 24= 16 from... ( V, E ) over sets X and Y are listed below a ’! ⊆ P X Q from a to A. i.e a binary relation over V for any graph., to get more information about the Driving License for an individual and Driver_License the relations we are interested here... Taken for granted simple terms one instance of another entity ( R_i\circ R $. Can say that the degree of relationship i… Certain important types of which. Their Strategy for particular weaker section of the subject and study hard, B\subseteq X$ » relations! Defined objects which are distinct from each other Example2: if a set n. Javatpoint.Com, to get more information about the Driving License for an individual and Driver_License 8 types! A\Subseteq B $, then$ R^ { -1 } \subseteq S^ -1! 2 CS 441 Discrete mathematics for CS M. Hauskrecht binary relation can be a relation!