Differences

This shows you the differences between two versions of the page.

--- using:standard_lib [2024/10/10 08:46] – fponzi
+++ using:standard_lib [2024/10/10 16:42] (current) – fponzi
@@ Line 30: / Line 30: @@
 ===== Module ''FiniteSets'' =====
-  * ''IsFiniteSet''
+  * ''IsFiniteSet(s)'': A set is finite iff there is a finite sequence containing all its elements.
-  * ''Cardinality''
+    * Example: ''IsFiniteSet({1,2,3})'' is equal to ''TRUE''
+  * ''Cardinality(s)'': The number of elements in the set s. It's only defined for finite sets.
+    * Example: ''Cardinality({1,2})'' is equal to 2.
 ===== Module ''Bags'' =====