a self-contained module of code that accomplish a specific task

a memory element of the program with a given name

the content associated to a variable in program’s memory

a group of authorized values and operations for different objects