The index of $H$, subgroup of $G$ is defined as

$[G:H] = | G/H |$ (or $\infty$ if $G/H$ is Infinite, where $G/H$ is the Quotient set