what are the theory and symbol of set?