isSmallestFieldOfCharacteristic

Indicates that a field is the minimal (by inclusion) field having a given characteristic among all fields with that characteristic.