Function symbol

From Free net encyclopedia

#REDIRECTFunctional predicate