is [comprehension] the right word???

[Hen Hanna]

On Monday, February 20, 2023 at 5:45:39 PM UTC-8, Paul Rubin wrote:
> Hen Hanna <henh... at gmail.com> writes: 
> > is [comprehension] the right word???
> Yes, it comes from math, particularly set theory. An expression like 
> 
> { n | n:integer, n mod 2 = 0 } 
> 
> is called a set comprehension, and then one there denotes the set of all 
> even integers. Axioms saying that the above denotes a legitimate set 
> are called comprehension axioms. In ZFC (an axiomitization of set 
> theory widely used in math), there is an infinite schema of such axioms. 
> 
> The Haskell language used a notation inspired by this for "list 
> comprehensions", and Python list (and later dictionary etc.) 
> comprehensions were inspired by Haskell's version.


thanks...   my curiosity was   re-aroused today
                             when i learned that....

In Italian .... they say:     [compresi]   as in...


                  Ho 5 libri di Eco, compresi quei 3 che vedete lì.

                  Ho 5 libri di Eco, inclusi 3 che non sono disponibili nella traduzione giapponese.