Checks if a subset is a subfield of a field.