bool isSurjective(int** array, int colsCnt){

    bool isSurj = false;

    for(int i = 0; i < colsCnt; i++){ //Проверка за всеки член от първата редица на масива
    int cnt = 0; // cnt се връща на 0 при всяка итерация на членовете от първата редица

        for(int j = 0; j<colsCnt; j++){ //Сравняваме всеки член на втората редица с всеки член от първата и търрсим съвпадение между тях
            if(array[1][j] == array[0][i])//"For every B there is an A" - за всеки член от втората редица има съответстващ член от първата
                    cnt++; //Ако има член от първата редица, съответстващ на този от втората, увеличаваме брояча с 1

        }

        if(cnt >= 1) //Ако е намерено съответствие след итерацията между членовете на първата редица, булевата променлива isSurj става true
            isSurj = true;

        cnt = 0; // връщаме стойността 0 на брояча, за да проверим дали следващия елемент от първата редица има съответствие с някой от втората
    }

    return isSurj;
}