unbounded -> infinite except in sets and indexed