under_approximation (285B)
1 # Under approximation 2 3 An [under_approximation] of a [query] Q in a given [query_class] is a [query] from the same class which is [query_contained] in Q, and an [over-approximation] is a query in which Q is [query_contained] 4 5 - [maximal_under_approximation] 6 7 Up: [query_approximation]