Det är bekant , att enmängd