Subfield

Metadata
aliases: []
shorthands: {}
created: 2021-11-05 23:41:27
modified: 2022-01-10 04:13:04

If is a field and is a subset of , then is a subfield of if the operations of make into a field1.
Then is called an extension field of .


  1. is a field in itself and is closed for all field operations