AEおよびAE法の定義