A loop is a programming construct that repeatedly executes a block of code. Option B correctly describes it as code that runs a specified number of times. Option C is incorrect because most loops have termination conditions (they don't run infinitely unless specifically designed to do so). Option D is wrong because loops execute multiple times, not just once.