Definition:Trichotomy Law (Integral Domain)