är älföljd af enmängd