Definition:Normal Field Extension