# Descriptive Complexity Theory - operator, structure and iteration?

In descriptive complexity theory, FO is the set of properties (problem) expressible by first-order logic.

I get this part, but what are all these transitive operators and some structures?

From Wikipedia:

First-order logic defines the class FO, corresponding to $AC_{0}$, the languages recognized by polynomial-size circuits of bounded depth, which equals the languages recognized by a concurrent random access machine in constant time. First-order logic with a commutative, transitive closure operator added yields SL, which equals L, problems solvable in logarithmic space. First-order logic with a transitive closure operator yields NL, the problems solvable in nondeterministic logarithmic space. In the presence of linear order, first-order logic with a least fixed point operator gives P, the problems solvable in deterministic polynomial time. Existential second-order logic yields NP, as mentioned above.

What is the difference between all aforementioned things and predicate/function?

I am not getting this well....

-
I recommend this link. –  Yuval Filmus May 9 '12 at 4:38