set-theory Definition Proper Subset A subset of a set is called proper subset if they are not equivalent: