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

the content associated to a variable in program’s memory

a memory element of the program that stores a value with a given type

a group of authorized values and operations for different objects