le.Index">org.saddle.Index</a> containing at least one of that key.</p><p>As it provides a representative for a subset of keys in the index, in the language
of category theory, this mapping is a <i>section</i>:</p><p>Given an array x of type T, which represents a mapping</p><pre>    f
{i} <span class="kw">=&gt;</span> {T}</pre><p>for i in [0, x.length), Locator provides the associated section</p><pre>    s
{T} <span class="kw">=&gt;</span> {i}</pre><p>where s(t) = min(i) for any i such that f(i) = t.
</p></