female name, mathematics One in which each element of the first set is clearly an element of the second