LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
sav08:sets_and_relations [2009/03/10 20:27]
vkuncak
sav08:sets_and_relations [2010/02/26 21:56]
vkuncak
Line 296: Line 296:
  
  
-==== More Properties ==== 
  
 +
 +==== Range, Image, and Composition ====
 +
 +The following properties follow from the definitions:​
 \[ \[
-   S \bullet ​ran(\Delta_S ​\circ r)+   (S \bullet ​r_1) \bullet r_2 \bullet (r_1 \circ r_2)
 \] \]
 \[ \[
-   (S \bullet ​r_1) \bullet r_2 \bullet (r_1 \circ r_2)+   S \bullet ​ran(\Delta_S ​\circ r)
 \] \]
  
Line 308: Line 311:
  
   * [[:Gallier Logic Book]], Chapter 2   * [[:Gallier Logic Book]], Chapter 2
 +  * [[sav08:​discrete_mathematics_by_rosen|Discrete Mathematics by Rosen]]