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