nome feminino, essa matemática em que cada elemento do primeiro conjunto é inequivocamente um elemento do segundo