From dd9776f69340110b2b383a5dd5c76914031a71ef Mon Sep 17 00:00:00 2001
From: Jim Martens <jim1@live.de>
Date: Mon, 20 Jan 2014 11:59:30 +0100
Subject: [PATCH] SE3-10: Aufgabe 1.2 bearbeitet.

---
 ...artens_Britta-2noack_Jan-Simon-0giesel.rkt | 63 ++++++++++++++++++-
 1 file changed, 62 insertions(+), 1 deletion(-)

diff --git a/se3/G08_B10_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt b/se3/G08_B10_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
index 21277b1..244ac2a 100644
--- a/se3/G08_B10_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
+++ b/se3/G08_B10_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
@@ -19,15 +19,76 @@ Abgebende: Jim 2martens, Britta 2noack, Jan-Simon 0giesel
            (if [pred x]
                x
                best))
-         0
+         #f
          xs)
   )
 
 ; 1.2
+(define (symmetrisch? r)
+  (every (λ (x)
+           (some (λ (y)
+                   (and (eq? (cdr y)
+                             (car x))
+                        (eq? (car y)
+                             (cdr x))))
+                 r))
+         r))
 
+(define (asymmetrisch? r)
+  (every (λ (x)
+           (let ((t1 (some (λ (y)
+                             (and (eq? (cdr y)
+                                       (car x))
+                                  (eq? (car y)
+                                       (cdr x)))
+                             ))))
+             r))))
+(not t1)))
+r))
 
+(define (reflexiv? r)
+  (every (λ (x)
+           (and (some (λ (y)
+                        (and (eq? (car y)
+                                  (car x))
+                             (eq? (cdr y)
+                                  (car x))))
+                      r)
+                (some (λ (y)
+                        (and (eq? (car y)
+                                  (cdr x))
+                             (eq? (cdr y)
+                                  (cdr x))))
+                      r)))
+         r))
 
+(define (transitiv? r)
+  (every (λ (x)
+           (let ((t1 (some (λ (y)
+                             (and (eq? (cdr x)
+                                       (car y))
+                                  (not (eq? (cdr x)
+                                            (cdr y)))))
+                           r)))
+             (if t1
+                 (some (λ (z)
+                         (and (eq? (car x)
+                                   (car z))
+                              (eq? (cdr t1)
+                                   (cdr z))))
+                       r)
+                 #t)))
+         r))
 
+(define (aequi? r)
+  (and (reflexiv? r)
+       (symmetrisch? r)
+       (transitiv? r)))
+
+(define (ord? r)
+  (and (reflexiv? r)
+       (not (symmetrisch? r))
+       (transitiv? r)))
 ; 2)
 
 ; 1.