厳密な定義