theorem Th14: :: NOMIN_3:14

for D being non empty set
for f being BinominativeFunction of D
for p being PartialPredicate of D holds <*p,(id (field f)),p*> is SFHT of D