properSubset=: subset * 1 - equality