Relative dimension (scheme theory)