MY-lang Sets Union >> {1} + S {1, 2} Sets {1, 2} Cross >> {1} & S {1, 2} Sets {1} Div >> {1} \ S{2} Sets {1} TODO remove dir lang