Polyphyly is a term in cladistics. It describes a group of organisms whose last common ancestor is not a member of the group. Another way of expressing this is to say that polyphyly includes groups some members of which are descended from ancestral populations.
More common in traditional taxonomy is to include all descendants (say, living mammals) without the group they evolved from (which would be some clade in the therapsida). This is done for convenience; but it makes the mammals polyphyletic.
Biological classification aims to group species together such that every group is descended from a single common ancestor. A polyphyletic group can be "fixed" either by excluding clades or by adding the common ancestor.
According to cladistics it should be the aim of classification to ensure that all groups are monophyletic. However, other taxonomists argue that there is a valid place for groups that are paraphyletic, contain their most recent common ancestor but does not all the descendants of that ancestor.