An entity in a programming language, which is typically the smallest indivisible unit of execution.