Difference between revisions of "Relations and Functions"

From Suhrid.net Wiki
Jump to navigationJump to search
Line 6: Line 6:
 
* A binary relation between A and B is '''any subset of A X B'''.
 
* A binary relation between A and B is '''any subset of A X B'''.
 
* Thus a relation R is given by R: P(A X B). R is a member of the powerset of the cartesian product of A and B.
 
* Thus a relation R is given by R: P(A X B). R is a member of the powerset of the cartesian product of A and B.
 +
* A relation '''IS-A''' set, so all set operations can be applied on relations.
  
 
= Functions =
 
= Functions =

Revision as of 16:40, 9 February 2012

Relations

  • An ordered pair (a,b) consists of two elements.
  • In Z, ordered pairs are represented using the maplet notation: a ⟼ b
  • The cartesian product, A X B is the set of all ordered pairs of A and B.
  • A binary relation between A and B is any subset of A X B.
  • Thus a relation R is given by R: P(A X B). R is a member of the powerset of the cartesian product of A and B.
  • A relation IS-A set, so all set operations can be applied on relations.

Functions