デデキント環の定義、同値条件、および例