* [SET_THEORY,NEW] Added cartesian_product/2.
* [SET_THEORY,NEW] Rewrote mimimal/2.