Unary functional symbol

From Free net encyclopedia