単推しの定義を教えてください