Definition:Index (Indexing Set)