:: deftheorem defines ker VECTSP10:def 9 :
for S being non empty 1-sorted
for Z being ZeroStr
for f being Function of S,Z holds ker f = { v where v is Element of S : f . v = 0. Z } ;