| „*“/* RELATION = TEILMENGE DER PRODUKTMENGE */; | |
| „*“/* Eingabe der Mengen */; | A:{3,4,8}; B:{4,16}; |
| „*“/* Berechnung der Produktmenge */; | AXB:cartesian_product(A,B); |
| „*“/* Relation x ist ein Teiler von y */; | R:subset(AXB,lambda([e],is(mod(e[2],e[1])=0))) /* lambda ist eine anonyme Funktion, e steht für das eingelesene Paar */; |
