ni urukerereza mu barezi it is of finite index if its number of equivalence classes is finite compared to british warships iowa had excellent speed but was lighter