そのためにまず定義を述べる: