Da det är bekant att enmängd