On Thu, 2006-08-10 at 03:03 +0900, Mauricio Fernandez wrote:
> can be read as "All elements in a satisfy { ... }", which we can interpret as
> "there is no element in a such that { ... } is not satisfied", which is
> obviously true if a is empty.

OK, thank you all for the explanations :)

Andre