A proper subset is a portion of a Set that contains some, but not all, of its elements. It's a Subset that is strictly smaller than the original set, implying at least one element in the larger set is absent from the proper subset. This distinction is fundamental in mathematics.
See also