#1: " ----------[ D e r i v e ]---------- " User #2: " ---------- Initialization ---------- " User #3: " ---------- Set Theory ---------- " User #4: x := {a, b, b, c, c, c} User #5: y := {d, c, b} User #6: z := {b, e, b} User #7: " [x \/ y \/ z, x /\ y /\ z] => [{a, b, c, d, e}, {b}] "User User #8: q_ := [x UNION y UNION z, x INTERSECTION y INTERSECTION z] #9: q_ User #10: [{e, d, c, b, a}, {b}] Simp(#9) #11: " x \/ y \/ z - x /\ y /\ z => {a, c, d, e} " User q_ \ q_ #12: 1 2 User #13: {e, d, c, a} Simp(#12) #14: x := User #15: y := User #16: z := User User #17: " Cartesian product of sets => {(a, c), (a, d), (b, c), (b, d)} " #18: {a, b}*{c, d} User #19: {[b, d], [b, c], [a, d], [a, c]} Simp(#18) #20: " ---------- Quit ---------- " User