Implemented definition (component)