Включение хешей

Хеш подобен множеству: он не может содержать повторяющиеся элементы (и даже повторяющиеся ключи). Поэтому включение хешей можно определить на основе понятия подмножества и надмножества.

Включение двух хешей можно проверить, сравнив их элементы.

Элемент h0[k0] одного хеша равен элементу h1[k1] другого хеша тогда и только тогда, когда их ключи равны (k0 == k1), а значения равны (h0[k0] == h1[h1]).

Один хеш может быть подмножеством или надмножеством другого хеша:

• Подмножество (входит в другое или равно ему):

  • Хеш h0 является подмножеством хеша h1 (см. Hash#<=), если каждый элемент h0 равен элементу h1.

  • Кроме того, h0 является собственным подмножеством h1 (см. Hash#<), если h1 больше, чем h0.

• Надмножество (включает другое или равно ему):

  • Хеш h0 является надмножеством хеша h1 (см. Hash#>=), если каждый элемент h1 равен элементу h0.

  • Кроме того, h0 является собственным надмножеством h1 (см. Hash#>), если h0 больше, чем h1.