up::[[propriétés des requêtes conjonctives]]
title::"$I \subseteq J \implies q(I) \subseteq q(J)$ avec $I, J$ des instances et $q$ une [[requête]]"
description::"ajouter des données dans l'instance ajoute au minimum 0 données dans le résultat d'une requête"
#s/informatique

----

Une [[requête]] $q$ sur $D$ est _monotone_ si pour tout instances $I, J$ de $D$ :
$I \subseteq J \implies q(I) \subseteq q(J)$

C'est un cas particulier de [[fonction monotone]], où la relation d'ordre est $\subseteq$

> [!note]
> propriété intéressante pour optimiser les calculs