going up theorem
preferred label: قضیه بالا رفتن @fa
type: Concept
related: integral extension

integral extension
related: going up theorem
related: going down theorem
related: going between theorem
broader: integral closure
preferred label: توسیع صحیح @fa
type: Concept

going down theorem
preferred label: قضیه پایین رفتن @fa
type: Concept
related: integral extension

going between theorem
preferred label: قضیه میان رفتن @fa
type: Concept
related: integral extension

integral closure
preferred label: بستار صحیح @fa
type: Concept
narrower: integral extension