Каким образом можно реализовать для Image'а например?

Наследуйся от стандартного TImage и лови CM_MOUSELEAVE:

Type
  TMyImage = class(TImage)
   
    procedure CMMouseLeave(var msg: TMessage); message CM_MOUSELEAVE;

  end;

procedure TMyImage.CMMouseLeave(var msg: TMessage); 
begin 
  inherited; 
  { действия на покидание мышью области компонента }
end;

Что-то ругается...

Ну, так ты саму процедуру-то добавил? Компилятор ее не видит...

А если у меня не одна картинка... и при отведении с каждой, нужно, чтобы выполнялись разные процедуры.
Для остальных еще создавать классы? Или как?

А сделать в TMyImage поле процедурного типа и при инициализации формы прописывать в каждый экземпляр ту процедуру, которая нужна именно для него нельзя?

type
  T = procedure;
  TMyImage = class(TImage)

    procedure CMMouseLeave(var msg: TMessage); message CM_MOUSELEAVE;

  private
    p: T;
  end;

// ...

procedure p_1;
begin
  ShowMessage('first:: out');
end;
procedure p_2;
begin
  ShowMessage('second:: out');
end;

procedure TForm1.FormCreate(Sender: TObject);
begin
  Image1.p := p_1;
  Image2.p := p_2;
end;

?