mängd / ! )'