Relation between an entity that implements a Procedure in some executable way and the Procedure (an algorithm, procedure or method).