propersuperset