didactic-lang didactic language to represent sets and operations on them. Open rel.pdf to learn more.