Go backward to ExampleGo up to TopGo forward to Example |

{T_{x}:xinS/\A}

- Term
`T`_{x}with free variable`x`.Variable

`x`has to be deduced from context. - Term whose value is the set of all values of
`T`_{x}where`x`is an element of`S`for which`A`holds:{

`T`_{x}:`x`in`S`/\`A`} = {`y`: (**exists**`x`in`S`:`y`=`T`_{x}/\`A`)}

*More convenient syntax for set construction*.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999