let x be Element of (FreeUnivAlgNSG (f,D)); :: thesis: ( x is Relation-like & x is Function-like )
thus ( x is Relation-like & x is Function-like ) ; :: thesis: verum