On Sun, May 19, 2013 at 4:05 AM, miniBill <[email protected]> wrote:
> There exists one (and only one) bijection of the empty set in itself, the > identity function. So the order of S0 is 1 we are talking about the empty set, i.e. something for which *any* statement (including its opposite) is vacuously true. So, the above is nonconclusive. On the other hand, I can understand the desire to extend to the limiting case. -- Gaby ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ open-axiom-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
