整域の定義、判定条件、および典型例