It means that P(x) is true for all values of x in the universe of discourse (the domain under consideration). Used extensively in logic.
printable version
chaos
Everything2 Help