RT @SciPyTip: The term "comprehension" in list comprehensions etc. comes from the "axiom of comprehension" in set theory.