[Axiom-math] Algebra

[Wolfgang Zocher]

Hello friends,

I have a kind of philosophical problem concerning the notion of algebra
vs. sigma-algebra in the context of AXIOM. An algebra on a set S is, roughly
spoken, defined as a family of subsets stable under finitly many set
operations.
A sigma-algebra on S is, roughly spoken again, defined as a family of subsets
stable under any countable collection of set operations.

Aren't both of these definitions the same in the context of representation in
AXIOM or any other CAS? Aren't sets in a CAS not countable in ANY case?

This problem employs me during the last days and I can't find a satifying
solution...

Thanks for your attention,
Wolfgang 
-- 
Wolfgang Zocher  http://www.wolfgang-zocher.privat.t-online.de/
Registered Linux User #337888 using Debian GNU/Linux

97.025% of statistics are wrong