Add more properties of sets