指Linq的查詢語法結構。在Linq誕生之前有個類似的概念List Comprehension——列表推導式，廣泛用於函數式編程語言。如Python的：
S = [2*x for x in range(101) if x**2 > 3]
Linq實現了一種針對強類型語言的更加一般化的架構，推導對象不限於列表，可以是數據庫或任意對象，只要實現了對應的查詢算子。
還有一個比較熱門的推導式概念是Monad Comprehension——單子推導式，Haskell語言有直接的支持。解釋和如何在C#中應用見《The Marvels of Monads》
。
這裏Comprehension的翻譯應該是源自其義項“4. 【修】推知法”
