First-order variable

From Free net encyclopedia