Коју је наредбу потребно уписати на линију у заданом делу програма да би након његова извођења у варијабли s била записана сума цифри природног броја n ? улаз(n) s = 0 { s = s + n mod 10 n = n div 10 }
ако је n > 0 онда док је n > 0 чинити док је n < 0 чинити ако је n < 0 онда
A B C D
Модел Пеано аритметике је тродупла ("N", 0, "S"), где "N" је (нужно бесконачан) скуп, 0 ∈ "N" и "S" : "N" → "N" задовољава аксиоме изнад. Међутим, да би показали да -{N}- = {0, S(0), S(S(0)), …}, мора бити показано да -{N ⊆ {0, S(0), S(S(0)), …};}- мора бити показано да сваки природан број је садржан у-{ {0, S(0), S(S(0)), …}. Практично, дата два модела ("N", 0, "S") и ("N", 0, "S") Пеано аксиома, постоји јединствени хомоморфизам "f" : "N" → "N" који задовољава
и то је бијекција. Ако ("N", 0, "S") је почетни објекат, и ("X", 0, "S") је било који други објекат, онда је једиствено спајање "u" : ("N", 0, "S") → ("X", 0, "S") такво да
Ово је управо рекурзивна дефиниција 0 и "S". Скуп N заједно са 0 и фукција наследник "s" : N → N задовољава Пеано аксиоме. Politiazili imaju osnovu: -S-N-S-N-. -{=C=S, -N= N-}- или – -{N=О}-. (S)-koklaurin-N-metiltransferaza

(-{S}-)-koklaurin--{N}--metiltransferaza (, "(-{S}-)-coclaurine--{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-koklaurin--{N}--metiltransferaza". (S)-tetrahidroprotoberberin N-metiltransferaza

(-{S}-)-tetrahidroprotoberberin N-metiltransferaza (, "tetrahidroprotoberberinska -{cis-N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-7,8,13,14-tetrahidroprotoberberin -{cis-N}--metiltransferaza". Оне укључују:


Доказ: претпоставимо да постоји нерегуларни језик "L" ∈ DSPACE"(s(n))" за s("n") = "o"(log log "n"). Формалнија дефиниција коначног низа чији су чланови у скупу "-{S}-" је функција из {1, 2, ..., "-{n}-"} у "-{S}-" за неко "-{n}-" ≥ 0. 16S rRNK (adenin1518-N6/adenin1519-N6)-dimetiltransferaza

16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza (, "-{S}--adenozilmetionin-6--{N',N'}--adenozil (rRNK) dimetiltransferaza", -{"KsgA", "ksgA}- metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza". (S)-N-acetil-1-feniletilaminska hidrolaza

-{(S)-N}--acetil-1-feniletilaminska hidrolaza () je enzim sa sistematskim imenom "-{(S)-N}--acetilfeniletilamin:-{HO}- hidrolaza". Sarkozin/dimetilglicin N-metiltransferaza

Sarkozin/dimetilglicin -{N}--metiltransferaza (, -{"ApDMT"}-, "sarkozin-dimetilglicinska metiltransferaza", -{"SDMT"}-, "sarkozin dimetilglicinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:-{N,N}--dimetilglicin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:sarkozin(or -{N,N}--dimetilglicin) -{N}--metiltransferaza (formira -{N,N}--dimetilglicin(or betain))". Cistein-S-konjugat N-acetiltransferaza

Cistein--{S}--konjugat -{N}--acetiltransferaza () je enzim sa sistematskim imenom "acetil-KoA:-{S}--supstituisani -{L}--cistein -{N}--acetiltransferaza". Аксиоми 1, 6, 7 и 8 значе да скуп природних бројева садржи различите елементе 0, -{S(0), S(S(0)),}- и даље да-{ {0, S(0), S(S(0)), …} ⊆ N}-. Dimetilhistidin N-metiltransferaza

Dimetilhistidin -{N}--metiltransferaza (, "dimetilhistidinska metiltransferaza", "histidin-alfa--{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:alfa--{N}-,alfa--{N}--dimetil--{L}--histidin alfa--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:-{N}-alfa,-{N}-alfa-dimetil--{L}--histidin -{N}-alfa-metiltransferaza". Kalmodulin-lizin N-metiltransferaza

Kalmodulin-lizin -{N}--metiltransferaza (, "-{S}--adenozilmetionin:kalmodulin (lizin) -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin 6--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin -{N}-6-metiltransferaza". U tom slučaju "S0" može biti 0, a "G(S,n") može biti samo "S mod n." Najbolji izbor za F je kompleksni problem i zavisi od prirode podataka. RRNK N-glikozilaza

RRNK -{N}--glikozilaza (, "ribozomalna ribonukleatna -{N}--glikozidaza", "nigrin b", "RNK -{N}--glikozidaza", "rRNK -{N}--glikozidaza", "ricin", "momorkohin-S", "Mirabilis antiviralni protein", "momorkohin-S", "gelonin", "saporin") je enzim sa sistematskim imenom "rRNK -{N}--glikohidrolaza". Аксиоме 1 и 6 дефинишу унарну операцију природних бројева: број 1 може бити дефинисан као S(0), 2 као S(S(0)) (што је исто S(1)), и уопште било који природан број -{n}- као резултат -{n}--струке примене S на 0. Симетричну групу "-{S}-" чини "-{n}-!" Karnozin N-metiltransferaza

Karnozin -{N}--metiltransferaza (, "Carnosine -{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:karnozin -{N}--metiltransferaza". Имајући у виду два подскупа "А" и "В" од N и скуп фукнција "F " од N до N која је затворена у саставу, "А" се може свести на "В" под "F" ако:
formula_3

Пишемо

Нека је "S" подскуп од P(N) и ≤ свођење, тада се "S" назива затворено под ≤ ако

Подскуп "A" од N зове се чврст за "S" ако

Подскуп "A" од N се зове потпун за "S" ако је "A" тежак за "S" и "A" је у "S". Glicin/sarkozin N-metiltransferaza

Glicin/sarkozin -{N}--metiltransferaza (, -{"ApGSMT"}-, "glicin-sarkozinska metiltransferaza", -{"GSMT", "GMT"}-, "glicin sarkozinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:sarkozin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:glicin(or sarkozin) -{N}--metiltransferaza (sarkozin(or formira -{N,N}--dimetilglicin))". Модел Пеано аритметике је тродупла ("N", 0, "S"), где "N" је (нужно бесконачан) скуп, 0 ∈ "N" и "S" : "N" → "N" задовољава аксиоме изнад. Међутим, да би показали да -{N}- = {0, S(0), S(S(0)), …}, мора бити показано да -{N ⊆ {0, S(0), S(S(0)), …};}- мора бити показано да сваки природан број је садржан у-{ {0, S(0), S(S(0)), …}. Практично, дата два модела ("N", 0, "S") и ("N", 0, "S") Пеано аксиома, постоји јединствени хомоморфизам "f" : "N" → "N" који задовољава
и то је бијекција. Скуп N заједно са 0 и фукција наследник "s" : N → N задовољава Пеано аксиоме. Politiazili imaju osnovu: -S-N-S-N-. -{=C=S, -N= N-}- или – -{N=О}-. (S)-koklaurin-N-metiltransferaza

(-{S}-)-koklaurin--{N}--metiltransferaza (, "(-{S}-)-coclaurine--{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-koklaurin--{N}--metiltransferaza". Ако ("N", 0, "S") је почетни објекат, и ("X", 0, "S") је било који други објекат, онда је једиствено спајање "u" : ("N", 0, "S") → ("X", 0, "S") такво да
Ово је управо рекурзивна дефиниција 0 и "S". (S)-tetrahidroprotoberberin N-metiltransferaza

(-{S}-)-tetrahidroprotoberberin N-metiltransferaza (, "tetrahidroprotoberberinska -{cis-N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-7,8,13,14-tetrahidroprotoberberin -{cis-N}--metiltransferaza". Оне укључују:


Доказ: претпоставимо да постоји нерегуларни језик "L" ∈ DSPACE"(s(n))" за s("n") = "o"(log log "n"). Формалнија дефиниција коначног низа чији су чланови у скупу "-{S}-" је функција из {1, 2, ..., "-{n}-"} у "-{S}-" за неко "-{n}-" ≥ 0. 16S rRNK (adenin1518-N6/adenin1519-N6)-dimetiltransferaza

16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza (, "-{S}--adenozilmetionin-6--{N',N'}--adenozil (rRNK) dimetiltransferaza", -{"KsgA", "ksgA}- metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza". (S)-N-acetil-1-feniletilaminska hidrolaza

-{(S)-N}--acetil-1-feniletilaminska hidrolaza () je enzim sa sistematskim imenom "-{(S)-N}--acetilfeniletilamin:-{HO}- hidrolaza". Sarkozin/dimetilglicin N-metiltransferaza

Sarkozin/dimetilglicin -{N}--metiltransferaza (, -{"ApDMT"}-, "sarkozin-dimetilglicinska metiltransferaza", -{"SDMT"}-, "sarkozin dimetilglicinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:-{N,N}--dimetilglicin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:sarkozin(or -{N,N}--dimetilglicin) -{N}--metiltransferaza (formira -{N,N}--dimetilglicin(or betain))". Cistein-S-konjugat N-acetiltransferaza

Cistein--{S}--konjugat -{N}--acetiltransferaza () je enzim sa sistematskim imenom "acetil-KoA:-{S}--supstituisani -{L}--cistein -{N}--acetiltransferaza". Аксиоми 1, 6, 7 и 8 значе да скуп природних бројева садржи различите елементе 0, -{S(0), S(S(0)),}- и даље да-{ {0, S(0), S(S(0)), …} ⊆ N}-. Dimetilhistidin N-metiltransferaza

Dimetilhistidin -{N}--metiltransferaza (, "dimetilhistidinska metiltransferaza", "histidin-alfa--{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:alfa--{N}-,alfa--{N}--dimetil--{L}--histidin alfa--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:-{N}-alfa,-{N}-alfa-dimetil--{L}--histidin -{N}-alfa-metiltransferaza". Kalmodulin-lizin N-metiltransferaza

Kalmodulin-lizin -{N}--metiltransferaza (, "-{S}--adenozilmetionin:kalmodulin (lizin) -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin 6--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin -{N}-6-metiltransferaza". U tom slučaju "S0" može biti 0, a "G(S,n") može biti samo "S mod n." Najbolji izbor za F je kompleksni problem i zavisi od prirode podataka. RRNK N-glikozilaza

RRNK -{N}--glikozilaza (, "ribozomalna ribonukleatna -{N}--glikozidaza", "nigrin b", "RNK -{N}--glikozidaza", "rRNK -{N}--glikozidaza", "ricin", "momorkohin-S", "Mirabilis antiviralni protein", "momorkohin-S", "gelonin", "saporin") je enzim sa sistematskim imenom "rRNK -{N}--glikohidrolaza". Аксиоме 1 и 6 дефинишу унарну операцију природних бројева: број 1 може бити дефинисан као S(0), 2 као S(S(0)) (што је исто S(1)), и уопште било који природан број -{n}- као резултат -{n}--струке примене S на 0. Симетричну групу "-{S}-" чини "-{n}-!" Karnozin N-metiltransferaza

Karnozin -{N}--metiltransferaza (, "Carnosine -{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:karnozin -{N}--metiltransferaza". Glicin/sarkozin N-metiltransferaza

Glicin/sarkozin -{N}--metiltransferaza (, -{"ApGSMT"}-, "glicin-sarkozinska metiltransferaza", -{"GSMT", "GMT"}-, "glicin sarkozinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:sarkozin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:glicin(or sarkozin) -{N}--metiltransferaza (sarkozin(or formira -{N,N}--dimetilglicin))". 2◦ n ∈ S. Kako je broj n u S u njemu ne moжe biti ni 1 ni n − 1, te je stoga S \ {n} ⊆ Nn−2 \ {1}, opet uz uslov da nema 2 uzastopna. Модел Пеано аритметике је тродупла ("N", 0, "S"), где "N" је (нужно бесконачан) скуп, 0 ∈ "N" и "S" : "N" → "N" задовољава аксиоме изнад. Међутим, да би показали да -{N}- = {0, S(0), S(S(0)), …}, мора бити показано да -{N ⊆ {0, S(0), S(S(0)), …};}- мора бити показано да сваки природан број је садржан у-{ {0, S(0), S(S(0)), …}. Практично, дата два модела ("N", 0, "S") и ("N", 0, "S") Пеано аксиома, постоји јединствени хомоморфизам "f" : "N" → "N" који задовољава
и то је бијекција. Скуп N заједно са 0 и фукција наследник "s" : N → N задовољава Пеано аксиоме. Politiazili imaju osnovu: -S-N-S-N-. -{=C=S, -N= N-}- или – -{N=О}-. (S)-koklaurin-N-metiltransferaza

(-{S}-)-koklaurin--{N}--metiltransferaza (, "(-{S}-)-coclaurine--{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-koklaurin--{N}--metiltransferaza". Ако ("N", 0, "S") је почетни објекат, и ("X", 0, "S") је било који други објекат, онда је једиствено спајање "u" : ("N", 0, "S") → ("X", 0, "S") такво да
Ово је управо рекурзивна дефиниција 0 и "S". (S)-tetrahidroprotoberberin N-metiltransferaza

(-{S}-)-tetrahidroprotoberberin N-metiltransferaza (, "tetrahidroprotoberberinska -{cis-N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-7,8,13,14-tetrahidroprotoberberin -{cis-N}--metiltransferaza". Оне укључују:


Доказ: претпоставимо да постоји нерегуларни језик "L" ∈ DSPACE"(s(n))" за s("n") = "o"(log log "n"). Формалнија дефиниција коначног низа чији су чланови у скупу "-{S}-" је функција из {1, 2, ..., "-{n}-"} у "-{S}-" за неко "-{n}-" ≥ 0. 16S rRNK (adenin1518-N6/adenin1519-N6)-dimetiltransferaza

16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza (, "-{S}--adenozilmetionin-6--{N',N'}--adenozil (rRNK) dimetiltransferaza", -{"KsgA", "ksgA}- metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza". (S)-N-acetil-1-feniletilaminska hidrolaza

-{(S)-N}--acetil-1-feniletilaminska hidrolaza () je enzim sa sistematskim imenom "-{(S)-N}--acetilfeniletilamin:-{HO}- hidrolaza". Sarkozin/dimetilglicin N-metiltransferaza

Sarkozin/dimetilglicin -{N}--metiltransferaza (, -{"ApDMT"}-, "sarkozin-dimetilglicinska metiltransferaza", -{"SDMT"}-, "sarkozin dimetilglicinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:-{N,N}--dimetilglicin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:sarkozin(or -{N,N}--dimetilglicin) -{N}--metiltransferaza (formira -{N,N}--dimetilglicin(or betain))". Cistein-S-konjugat N-acetiltransferaza

Cistein--{S}--konjugat -{N}--acetiltransferaza () je enzim sa sistematskim imenom "acetil-KoA:-{S}--supstituisani -{L}--cistein -{N}--acetiltransferaza". Аксиоми 1, 6, 7 и 8 значе да скуп природних бројева садржи различите елементе 0, -{S(0), S(S(0)),}- и даље да-{ {0, S(0), S(S(0)), …} ⊆ N}-. Dimetilhistidin N-metiltransferaza

Dimetilhistidin -{N}--metiltransferaza (, "dimetilhistidinska metiltransferaza", "histidin-alfa--{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:alfa--{N}-,alfa--{N}--dimetil--{L}--histidin alfa--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:-{N}-alfa,-{N}-alfa-dimetil--{L}--histidin -{N}-alfa-metiltransferaza". Kalmodulin-lizin N-metiltransferaza

Kalmodulin-lizin -{N}--metiltransferaza (, "-{S}--adenozilmetionin:kalmodulin (lizin) -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin 6--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin -{N}-6-metiltransferaza". U tom slučaju "S0" može biti 0, a "G(S,n") može biti samo "S mod n." Najbolji izbor za F je kompleksni problem i zavisi od prirode podataka. RRNK N-glikozilaza

RRNK -{N}--glikozilaza (, "ribozomalna ribonukleatna -{N}--glikozidaza", "nigrin b", "RNK -{N}--glikozidaza", "rRNK -{N}--glikozidaza", "ricin", "momorkohin-S", "Mirabilis antiviralni protein", "momorkohin-S", "gelonin", "saporin") je enzim sa sistematskim imenom "rRNK -{N}--glikohidrolaza". Аксиоме 1 и 6 дефинишу унарну операцију природних бројева: број 1 може бити дефинисан као S(0), 2 као S(S(0)) (што је исто S(1)), и уопште било који природан број -{n}- као резултат -{n}--струке примене S на 0. Симетричну групу "-{S}-" чини "-{n}-!" Karnozin N-metiltransferaza

Karnozin -{N}--metiltransferaza (, "Carnosine -{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:karnozin -{N}--metiltransferaza". Glicin/sarkozin N-metiltransferaza

Glicin/sarkozin -{N}--metiltransferaza (, -{"ApGSMT"}-, "glicin-sarkozinska metiltransferaza", -{"GSMT", "GMT"}-, "glicin sarkozinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:sarkozin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:glicin(or sarkozin) -{N}--metiltransferaza (sarkozin(or formira -{N,N}--dimetilglicin))". 2◦ n ∈ S. Kako je broj n u S u njemu ne moжe biti ni 1 ni n − 1, te je stoga S \ {n} ⊆ Nn−2 \ {1}, opet uz uslov da nema 2 uzastopna. Модел Пеано аритметике је тродупла ("N", 0, "S"), где "N" је (нужно бесконачан) скуп, 0 ∈ "N" и "S" : "N" → "N" задовољава аксиоме изнад. Међутим, да би показали да -{N}- = {0, S(0), S(S(0)), …}, мора бити показано да -{N ⊆ {0, S(0), S(S(0)), …};}- мора бити показано да сваки природан број је садржан у-{ {0, S(0), S(S(0)), …}. Практично, дата два модела ("N", 0, "S") и ("N", 0, "S") Пеано аксиома, постоји јединствени хомоморфизам "f" : "N" → "N" који задовољава
и то је бијекција. Ако ("N", 0, "S") је почетни објекат, и ("X", 0, "S") је било који други објекат, онда је једиствено спајање "u" : ("N", 0, "S") → ("X", 0, "S") такво да
Ово је управо рекурзивна дефиниција 0 и "S". Скуп N заједно са 0 и фукција наследник "s" : N → N задовољава Пеано аксиоме. Politiazili imaju osnovu: -S-N-S-N-. -{=C=S, -N= N-}- или – -{N=О}-. (S)-koklaurin-N-metiltransferaza

(-{S}-)-koklaurin--{N}--metiltransferaza (, "(-{S}-)-coclaurine--{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-koklaurin--{N}--metiltransferaza". (S)-tetrahidroprotoberberin N-metiltransferaza

(-{S}-)-tetrahidroprotoberberin N-metiltransferaza (, "tetrahidroprotoberberinska -{cis-N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:(-{S}-)-7,8,13,14-tetrahidroprotoberberin -{cis-N}--metiltransferaza". Оне укључују:


Доказ: претпоставимо да постоји нерегуларни језик "L" ∈ DSPACE"(s(n))" за s("n") = "o"(log log "n"). Формалнија дефиниција коначног низа чији су чланови у скупу "-{S}-" је функција из {1, 2, ..., "-{n}-"} у "-{S}-" за неко "-{n}-" ≥ 0. 16S rRNK (adenin1518-N6/adenin1519-N6)-dimetiltransferaza

16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza (, "-{S}--adenozilmetionin-6--{N',N'}--adenozil (rRNK) dimetiltransferaza", -{"KsgA", "ksgA}- metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:16-{S}- rRNK (adenin--{N}-/adenin--{N}-)-dimetiltransferaza". (S)-N-acetil-1-feniletilaminska hidrolaza

-{(S)-N}--acetil-1-feniletilaminska hidrolaza () je enzim sa sistematskim imenom "-{(S)-N}--acetilfeniletilamin:-{HO}- hidrolaza". Sarkozin/dimetilglicin N-metiltransferaza

Sarkozin/dimetilglicin -{N}--metiltransferaza (, -{"ApDMT"}-, "sarkozin-dimetilglicinska metiltransferaza", -{"SDMT"}-, "sarkozin dimetilglicinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:-{N,N}--dimetilglicin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:sarkozin(or -{N,N}--dimetilglicin) -{N}--metiltransferaza (formira -{N,N}--dimetilglicin(or betain))". Cistein-S-konjugat N-acetiltransferaza

Cistein--{S}--konjugat -{N}--acetiltransferaza () je enzim sa sistematskim imenom "acetil-KoA:-{S}--supstituisani -{L}--cistein -{N}--acetiltransferaza". Аксиоми 1, 6, 7 и 8 значе да скуп природних бројева садржи различите елементе 0, -{S(0), S(S(0)),}- и даље да-{ {0, S(0), S(S(0)), …} ⊆ N}-. Dimetilhistidin N-metiltransferaza

Dimetilhistidin -{N}--metiltransferaza (, "dimetilhistidinska metiltransferaza", "histidin-alfa--{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:alfa--{N}-,alfa--{N}--dimetil--{L}--histidin alfa--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:-{N}-alfa,-{N}-alfa-dimetil--{L}--histidin -{N}-alfa-metiltransferaza". Kalmodulin-lizin N-metiltransferaza

Kalmodulin-lizin -{N}--metiltransferaza (, "-{S}--adenozilmetionin:kalmodulin (lizin) -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin 6--{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:kalmodulin--{L}--lizin -{N}-6-metiltransferaza". U tom slučaju "S0" može biti 0, a "G(S,n") može biti samo "S mod n." Najbolji izbor za F je kompleksni problem i zavisi od prirode podataka. RRNK N-glikozilaza

RRNK -{N}--glikozilaza (, "ribozomalna ribonukleatna -{N}--glikozidaza", "nigrin b", "RNK -{N}--glikozidaza", "rRNK -{N}--glikozidaza", "ricin", "momorkohin-S", "Mirabilis antiviralni protein", "momorkohin-S", "gelonin", "saporin") je enzim sa sistematskim imenom "rRNK -{N}--glikohidrolaza". Аксиоме 1 и 6 дефинишу унарну операцију природних бројева: број 1 може бити дефинисан као S(0), 2 као S(S(0)) (што је исто S(1)), и уопште било који природан број -{n}- као резултат -{n}--струке примене S на 0. Симетричну групу "-{S}-" чини "-{n}-!" Karnozin N-metiltransferaza

Karnozin -{N}--metiltransferaza (, "Carnosine -{N}--methyltransferase") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:karnozin -{N}--metiltransferaza". Имајући у виду два подскупа "А" и "В" од N и скуп фукнција "F " од N до N која је затворена у саставу, "А" се може свести на "В" под "F" ако:
formula_3

Пишемо

Нека је "S" подскуп од P(N) и ≤ свођење, тада се "S" назива затворено под ≤ ако

Подскуп "A" од N зове се чврст за "S" ако

Подскуп "A" од N се зове потпун за "S" ако је "A" тежак за "S" и "A" је у "S". Glicin/sarkozin N-metiltransferaza

Glicin/sarkozin -{N}--metiltransferaza (, -{"ApGSMT"}-, "glicin-sarkozinska metiltransferaza", -{"GSMT", "GMT"}-, "glicin sarkozinska -{N}--metiltransferaza", "-{S}--adenozil--{L}--metionin:sarkozin -{N}--metiltransferaza") je enzim sa sistematskim imenom "-{S}--adenozil--{L}--metionin:glicin(or sarkozin) -{N}--metiltransferaza (sarkozin(or formira -{N,N}--dimetilglicin))".