- будь-яка впорядкована множина з m елементів даної множини, яка містить n елементів, де m≤n.