An infinite loop is a loop that executes indefinitely without terminating. Option B correctly defines this. Option A describes a well-functioning loop (not necessarily infinite). Option C describes a loop that never starts (not infinite). Option D describes a non-functional loop (different concept).