Kann jemand mir helfen,  wie man in lambda kalküle die Mengen darstellen kann? 

Ich möchte die Klauseln in lambda kalküle darstellen?

Danke im voraus