restrizione

biologia Enzimi (o nucleasi) di r. Enzimi in grado di tagliare il DNA in corrispondenza di specifiche sequenze di nucleotidi (siti di r.), formando così una serie di frammenti di DNA (frammenti di r.); in base alla localizzazione dei siti di r. è possibile costruire una mappa di r. (➔ enzima). matematica R. di una relazione Se R è una relazione n-aria su un insieme I ed L è un sottoinsieme di I, si dice r. di R a L, o traccia di R in L, la relazione R′ = R⋃Lⁿ. Il simbolo corrispondente è R|L, che si legge «R ristretta a L». In modo analogo, data la relazione binaria R tra elementi degli insiemi A e B, si definisce la r. di R rispetto al dominio A, rispetto al codominio B, o rispetto a entrambi. In particolare, si parla di r. di un’applicazione, con riferimento al dominio di essa. Assioma di r. (detto anche di regolarità, di fondazione o del regresso all’infinito escluso) A ogni insieme non vuoto I appartiene un elemento L, tale che non abbia nessun elemento in comune con I. Questo assioma fu introdotto nella teoria assiomatica degli insiemi intorno al 1930 per escludere l’esistenza di insiemi straordinari, cioè tali da contenere una catena discendente di insiemi legati dalla relazione di appartenenza, come, per es., … I_n+1∈I_n∈ … ∈I₂∈I₁∈I. La possibilità di tali insiemi nella teoria assiomatica era stata mostrata da D. Mirimanov fin dal 1917.