a basic mathematical set program