Contracting an edge is the operation that introduces a new vertex that is adjacent to all vertices the endpoints of the contracted edge are adjacent to, and then deletes the endpoints of this edge and all their incident edges. In this note, we give a formal approach to the notion of edge contraction and show some basic properties of it