Istilah matematika · Keluarga Lebl

827 rekaman istilah yang dipilih pembuat buku: padanan utama, alternatif, bentuk yang ditolak, dan cakupan. Rekaman berbeda tidak digabung hanya karena ejaannya sama. Ini register keluarga buku, bukan keputusan istilah universal.

Istilah dan dasar pemilihan
Istilah sumberPilihan utamaAlternatifDitolak dalam register iniCakupan dan bukti
discriminantdiskriminanR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:00417372-8600-5ab9-a65b-09911bcf4e58
direct imagecitra langsungR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:00584d1e-7e6f-5dfe-a6ec-c5eba197a0dd
proper mapproperpemetaan properR006
Alasan dan bukti

Technical loan retained in the indexed exercise term.

R006 ch-metric.tex

urn:uuid:006a77f9-3182-517f-b459-ff6e437d9ac9
parametric curvekurva parametrikR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:01abb09b-0f15-5972-8174-785d9ea3967a
inner producthasil kali dalamproduk dalamR006
Alasan dan bukti

Prefer hasil kali dalam throughout reader prose and index entries

R006 ch-approximate.tex raw lines 4612-4711; standard Indonesian linear-algebra terminology for the integral pairing

urn:uuid:01ca56e9-81e7-509a-a36c-f259843aa3f5
logarithmlogaritmaR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:021e00f3-4115-5a64-b89b-df7a1aa20354
Poincaré sectionpenampang Poincaréirisan PoincaréR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 2304-2354

urn:uuid:02538122-bf62-51ef-8454-f50fcdb656ce
set of discontinuitieshimpunan titik diskontinuitasR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:03347592-e0ee-5dae-8d47-351df155a0d4
nth rootakar pangkat nakar ke-nR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:034c7159-a6b5-5260-9a44-e6168f5e43f6
diameterdiameterR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:03568127-f5b7-5465-829d-0ef42eb45dae
unknownpeubah tak diketahuiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:04315779-ab7a-500f-9397-39cb8471058d
without loss of generalitytanpa mengurangi keumumanR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1505-1507

urn:uuid:047e7fd8-c053-5aec-abd6-efa98dfcf046
critical pointtitik kritisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:04e5ff9f-3af1-54e4-9908-96de6922d761
generalized Stokes' theoremteorema Stokes umumR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:04fb568f-e962-5441-afba-d989f0ccbfe5
vector-valued functionfungsi bernilai vektorR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:05203f93-17f5-5b02-8fc2-b8c0f84396d5
subsequencesubbarisanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:052a5c7d-fbc7-530b-9fb1-a898cd93c873
strict local minimumminimum lokal ketatR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:0547d43e-3e61-5590-9708-afa6427f69ab
level curvekurva levelkurva arasR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:05d41639-6f25-521e-81a5-9e48684baf69
common refinementpenghalusan bersamaR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:05e0021b-c1a9-566b-aa40-e8804f80b3a5
peakpuncakR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:05f2a87d-0c28-55c0-8d68-55afc01b89ad
chaoschaoskekacauankaosR007
Alasan dan bukti

Use chaos as the technical noun; ordinary prose may use kekacauan contextually

R007 ch-nonlin-systems.tex raw lines 2155-2174

urn:uuid:0623f289-c5c4-5464-8454-da3b0f772a3f
hyperbolic sinesinus hiperbolikfungsi sinus hiperbolikR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2192-2221

urn:uuid:062953b0-cf62-5af1-80b2-4c4e067a77fc
unimodularbermodulus satuunimodularR006
Alasan dan bukti

Reader-facing Indonesian term follows the mathematical meaning; source term retained only as a search variant

R006 ch-approximate.tex raw lines 1976-1982

urn:uuid:062f4772-80b6-5172-9f4e-c41ed1ce719e
bounded sethimpunan terbatasR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:06d19307-2210-5607-9cdd-83d85c6efda7
clockwisesearah jarum jamR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:07135d06-6d93-5d71-a7ad-13b40076b801
Fubini for sumsFubini untuk penjumlahanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:07627480-c836-5e11-8b0c-73f33f666e86
Leibniz integral ruleaturan integral Leibnizaturan LeibnizR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:07ac1a33-cb26-59c6-8902-a9f88cbe2579
normed vector spaceruang vektor bernormaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:07eea9eb-33f5-56ef-841a-5680868459df
induction steplangkah induksiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:09f42525-1112-52b8-b79d-ceeb4f3b9838
trigonometric functionsfungsi trigonometriR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1864-2096

urn:uuid:09fc7c0d-0df5-5d20-a27a-e6f68e61d77c
indicator functionfungsi indikatorR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:0a4c0a2d-144b-5a2f-b479-3521058ff152
counterclockwiseberlawanan arah jarum jamR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:0ab22ea1-bee5-54a2-b31f-3ce59da67e0b
path integralintegral lintasanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:0b42a347-1c47-5d54-bee0-326a759f9d2b
maximum modulus principleprinsip modulus maksimumprinsip maksimum modulusR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2347-2357

urn:uuid:0b5ad148-f85c-5182-97b9-33dc722139b1
compactly supportedberdukungan kompakmempunyai dukungan kompakR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:0b5b13fa-3b32-5e47-83a2-5521d625bc28
harmonic seriesderet harmonikR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:0ba19e7c-f08b-5446-8368-3d76156d19c2
truncationpemotonganR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:0ba7b197-cac8-5766-b5dc-d936c3121e28
approximate delta functionfungsi delta hampiranfungsi delta aproksimasi; hampiran fungsi delta DiracR006
Alasan dan bukti

Transparent compositional term preserves the defined mathematical role without overstating external attestation

R006 ch-approximate.tex raw lines 3137-3390; the source defines the approximate identity explicitly; compositional binding uses the established lane terms fungsi delta and hampiran

urn:uuid:0c35d4fa-8a84-5823-b9b1-a6e4aa982f12
continuitykekontinuanR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:0cc23b12-c899-50bd-8af5-e1f88d2b0b40
general linear groupgrup linear umumR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:0cdcca87-80b3-50de-aaf9-fc1dcdde862d
Devil's staircasetangga Iblistangga SetanR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:0d40df9e-eb3c-56ff-9a63-2a3bfe7b3894
infinite sequence of digitsbarisan digit tak berhinggaR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:0d9ea3c7-c888-5106-a1a1-db602a412bc9
inverse functionfungsi inversR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:0dbf8220-2fcf-5bcd-8e35-0e6f158ca55f
k-times continuously differentiablediferensiabel secara kontinu hingga orde kR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:0eb9e733-9b1e-5e81-aa91-27481fee77f3
orthonormal systemsistem ortonormalR006
Alasan dan bukti

Keep system wording because the source uses a sequence indexed by positive integers

R006 ch-approximate.tex raw lines 4612-4711; the source requires unit norm and pairwise orthogonality

urn:uuid:0edae117-b42a-52c3-912d-722756affb54
nonnegativity of a metricsifat taknegatif metrikR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:0ee0b303-2c83-5c0b-9238-c6d5278ba9cd
empty sethimpunan kosongR006
Alasan dan bukti

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 2

urn:uuid:0f050465-06b3-5262-abea-44ce268fa841
natural numbersbilangan asliR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:0f054e97-5998-579b-b506-fd33896c49e9
zero sethimpunan nolR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:0f8f844e-ed87-5ef7-a3bf-14f88dcd71d4
uniformly boundedterbatas seragamterbatas secara seragamR006
Alasan dan bukti

Use terbatas seragam in running mathematical prose; retain the adverbial variant for grammatical contexts

R006 ch-approximate.tex raw lines 2556-2617; Sufri Cara Lain Pembuktian Teorema Arzela-Ascoli Jurnal Sainmatika UNJA

urn:uuid:0fda1b14-f5bf-5af7-af7a-2333e93ec861
principle of inductionprinsip induksiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:0fffdb4b-ac31-5b11-b0ef-e0cff33dce5e
zero seriesderet nolR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1329-1332

urn:uuid:10135273-f834-5012-858e-e435c2936e96
scalarskalarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:107e0149-6095-5941-91fb-65473992318b
transposetransposR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:107efdd7-ac5e-59dd-bd12-ac00236a367f
strong inductioninduksi kuatR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:10b79e3e-377d-584d-8f2e-873a743659b5
composition of functionskomposisi fungsifungsi komposisiR006
Alasan dan bukti

Retain the established lane preference; fungsi komposisi is an attested variant.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 1

urn:uuid:10c1746d-e55f-52fa-83e9-fb0c97a51074
repeating digit periodperiode digit berulangR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:10cedf9b-66b7-59ba-a96a-915ec11a50a9
periodic orbitorbit periodikR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 1753-1828

urn:uuid:110caff7-86be-5f22-8ea3-19fdb94324f3
imaginary axissumbu imajinerR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 30-32

urn:uuid:113416b5-d76a-5c6c-b0f0-0f726228154c
symmetricsimetrisR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:1167e56d-02f0-50a9-9378-a6e9227b6b16
codomainkodomaindaerah kawanR006
Alasan dan bukti

Retain the concise established loanword; daerah kawan is an attested explanatory variant.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 10

urn:uuid:11b2d4bd-c222-5cd7-9eca-999066119158
discontinuousdiskontinuR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:11f783d3-0803-55af-abe0-036446dc7e72
relative open sethimpunan terbuka relatifR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:1218c455-125b-546f-80ab-5ba49c2ab5fc
one-sided approximation errorgalat aproksimasi satu-sisigalat satu-sisiR006
Alasan dan bukti

Use when only an upper or lower error bound is asserted rather than an absolute-error bound

R006 ch-approximate.tex raw lines 3809-3815; the source describes approximation within epsilon from at least one side

urn:uuid:12589899-8dfb-559d-a4e7-ccc25d58e2d1
bijectivebijektifR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:12c10861-7fcb-5f49-a869-8978cff77852
angle in radianssudut dalam radianR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2113-2116

urn:uuid:132eec35-05db-5910-a3b2-7c30beae7501
Peano surfacepermukaan PeanoR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:136ea3c2-ea6b-528b-b837-c9ef0248379d
vector spaceruang vektorR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1380a46e-af5b-5a3f-a806-1fe3948ac028
constant sequencebarisan konstanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:140aabe4-0db2-53b4-ae60-757ae891bf96
mappingpemetaanpetaR006
Alasan dan bukti

Use pemetaan for the object/process and peta where the shorter noun is idiomatic.

R006 ch-vol1-intro.tex

urn:uuid:142ba2a5-cb97-5fa5-be7b-23fad32bcd8d
quotienthasil bagiR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:143b7115-be9d-50b8-b543-1d80360101b3
trigonometric polynomialpolinom trigonometriR006
Alasan dan bukti

Finite trigonometric sum; on the unit circle it is a finite Laurent polynomial in z

R006 ch-approximate.tex raw lines 4218-4237; the frozen source gives equivalent sine-cosine and finite complex-exponential forms

urn:uuid:14414dc8-c5c9-5d69-bacd-374b5ce4ab37
half-open intervalinterval setengah terbukaR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:15446605-c33e-5c2d-a158-4bbbd5cadc82
identically oneidentik satuR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:157e63bb-d2b0-5d92-b82f-b56ae78c4feb
standard basis vectorvektor basis standarR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:15b6c727-3afc-5e42-9830-456468b3cb7d
phase portraitpotret faseR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 70-104

urn:uuid:16311f09-dc22-533f-bdc2-eacd541fc6d9
closed intervalinterval tertutupR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:174d95b3-0c64-5f32-8461-c2022dcfdeee
connected spaceruang terhubungR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:177dde95-f6ef-5220-943a-9666bb22fa65
trichotomytrikotomiR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:17937ee8-ada7-5fd2-af91-ef8673e4e744
upper Darboux integralintegral Darboux atasR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:1887752f-15ac-5367-a41b-b9971d1b3c66
best approximationaproksimasi terbaikR006
Alasan dan bukti

Use aproksimasi terbaik for minimization of L2 error over coefficients in the same finite orthonormal span

R006 ch-approximate.tex raw lines 4713-4803; the theorem characterizes partial Fourier sums as L2-best approximants in the same finite orthonormal span

urn:uuid:19529eb0-c2d2-516c-8cdd-a542fa5caa29
unit disccakram satuanR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1760-1766

urn:uuid:19bc4a8f-b400-52e4-ae04-03e3d0f8cce5
upper triangular matrixmatriks segitiga atasR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1a1d5f41-ecc2-50b0-8fb6-b16125bc9e43
vector subspacesubruang vektorsubruangR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1a51b0eb-9227-5e86-a673-c55b058f318e
Riemann integralintegral RiemannR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:1a6b5c3a-9f20-53a5-a76a-062bae76d628
open mappingpemetaan terbukaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1a740df4-08fe-57b2-acd9-57f61d34f2a4
base casekasus dasarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1af9c7a3-04a4-5896-b423-2fd86c2847e8
complex algebraaljabar kompleksaljabar atas $\C$R006
Alasan dan bukti

Keep the field-explicit variant when the scalar field matters in a claim

R006 ch-approximate.tex raw lines 3541-3555; source defines the scalar field explicitly

urn:uuid:1b89669f-fa11-5dad-8394-3b6f8051547c
tangent functionfungsi tangentangenR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2225-2238

urn:uuid:1bca03eb-ef6e-5de2-bf17-92a74ba057d3
closed relative totertutup relatif terhadapR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1598-1626; explicit rigor clarification LEBL-ID-ADV-0227

urn:uuid:1bf11379-db12-5214-aac8-76bd8f08e5a7
chain ruleaturan rantaiR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:1c3f902c-afff-5dc1-85ca-eb4283824239
recursively defined sequencebarisan yang didefinisikan secara rekursifR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:1c71e50a-da29-50ad-86de-c2eed1fe0388
cornersudutR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:1c9eed17-68f7-56ec-8649-890778794810
permutationpermutasiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1cbd0b5c-f479-5f99-814b-01da0b478871
reverse orientationmembalik orientasiR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:1cdc80e2-ab76-57c5-b351-07c8d4937f72
bounded intervalinterval terbatasR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:1cf89d4a-8714-5261-8bf6-2128d93b5033
sourcesumberpemancarR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 550-654

urn:uuid:1d28a381-6060-5196-9c4f-f97e083c6254
one-to-oneinjektifsatu-ke-satuR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:1d859d1c-1c9a-5ed0-b217-18d84ab9d31c
real analysisanalisis realR006
Alasan dan bukti

R006 realanal.tex and ch-vol1-intro.tex

urn:uuid:1db73992-5b59-5bf0-a104-a65210ba182f
circumferencekeliling lingkaranR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2104-2111

urn:uuid:1e014bec-be29-579e-aec4-0f6ec91d0ada
complex polynomialpolinom komplekspolinom dalam variabel kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2273-2279

urn:uuid:1eb3c228-786a-5940-9cc9-87a370f3b603
Lipschitz conditionsyarat Lipschitzkondisi LipschitzR006
Alasan dan bukti

Use syarat for the stated sufficient hypothesis and retain the proper name Lipschitz

R006 ch-approximate.tex raw lines 4982-4998; the pointwise bound controls the Fourier partial sums at the fixed point

urn:uuid:1ebb4e61-fa03-5162-ac1c-5a456370e05d
polygonal chainrantai poligonalR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:1f5b8bc6-04f7-5583-9261-7dbda2091142
bijective mappingpemetaan bijektifR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:1f8026c8-a15e-5552-a574-999b4229d431
connected intervalinterval terhubungR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:1fb87f24-984e-5dca-b23c-aa7830e1c68a
triangle inequalityketaksamaan segitigaR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:1fbec07c-be1e-538b-9497-e42ac22da08c
matrix-valued functionfungsi bernilai matriksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:203b1193-8f85-57bd-8800-a897abb77271
integral test for seriesuji integral untuk deretR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:20dfb735-e042-5b88-ac08-60804fa1a2a9
bounded functionfungsi terbatasR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:21a1ee39-2065-513e-832f-e41d722fe007
Dini theoremteorema DiniR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:21c30823-9a50-5da1-ae5b-c4c5dbd1ade1
oscillateberosilasiR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:222f48e5-a7e6-5a98-961f-ae96bb25a0b8
uniform equicontinuityekuikontinuitas seragamR006
Alasan dan bukti

Compositional specialization of field-attested ekuikontinuitas and established seragam register

R006 ch-approximate.tex raw lines 2661-2738; Indonesian field sources attest ekuikontinu and the lane consistently uses seragam for uniform notions

urn:uuid:2244daaf-dc6d-549a-abce-3574bb6219bb
open neighborhoodlingkungan terbukaR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:22545a3e-91f1-53d4-bda1-dfe8c8ea9275
decimal representationrepresentasi desimalR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:227affdf-a99f-5281-8561-89bd1d2cad62
gradientgradienR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:22f9ddff-4033-5336-91da-7c5a52741453
alternating seriesderet berselang-selingR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:2308bf3a-a3a5-5b16-b43b-48fa914b3503
star-shaped domaindomain berbentuk bintangR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:230d0e16-8d30-5aef-a449-5b1f36767ac5
columnkolomR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:2329aaa4-fa2f-5272-9a96-8d6ff11fe543
second derivativeturunan keduaR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:23863771-113d-5083-8099-454558da4e88
convergentkonvergenR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:247a24c8-087c-56c9-82d1-0dc74d41472e
elementelemenanggotaR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:24a03373-086f-53a7-b065-96e941d46a51
Peano existence theoremteorema eksistensi PeanoR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:24d8d18b-4166-5373-9917-98d243c08e76
almost linearhampir linearR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 550-654

urn:uuid:24f83ccb-cbe8-5e12-b0df-29b501b5138a
subsethimpunan bagianR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:253f5c13-a415-5c99-8632-e9df11a15e92
differential operatoroperator diferensialR006
Alasan dan bukti

Operator constructed from differentiation; keep distinct from a differential equation

R006 ch-approximate.tex raw lines 4245-4258; standard Indonesian operator terminology and the displayed first and second derivatives

urn:uuid:2593944e-5f71-56d6-a588-25fbd7a74701
invertible linear transformationtransformasi linear invertibelR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:25f0b1cf-8bba-5e7b-954b-bab2c5082b52
continuous extensionperluasan kontinuR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:25fb903b-2a2d-59bf-aaa9-3ea83e6cc031
piecewise smooth reparametrizationreparametrisasi mulus sepotong-sepotongR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:2633b637-bc16-5725-a3b0-39c9b249d90f
path connectedterhubung lintasanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:26a490cd-a439-5b8d-b809-ce84c7573e46
Bernoulli's inequalityketaksamaan BernoulliR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:2751b4d4-50b3-572d-9476-39b5d268c0d8
symmetric groupgrup simetrisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:27d51352-baf7-51c1-becf-3a4f2e30396a
JacobianJacobianR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:28d71dda-9c2e-5b76-812f-77e653321a1c
zero functionfungsi nolR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1686-1720

urn:uuid:28ee8856-0f6f-58dc-95a4-03493483657f
integrating factorfaktor integrasiR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:2936d55d-1bca-5913-ab8a-ef11dda87ed3
great circle distancejarak lingkaran besarR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:29c3f791-ab72-5e5d-abb9-d59ba36902fd
several variablesbeberapa variabelmultivariabelR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:29d68eca-ddc8-54a6-8fcb-81159eeee8e3
independent variablevariabel independenpeubah bebasR007
Alasan dan bukti

Use variabel independen consistently in the engineering ODE register

R007 ch-first-order-ode.tex raw lines 121-148; the warning concerns informal differential manipulation when more than one independent variable occurs

urn:uuid:29e2fc0f-b3c5-5203-a4ca-bb640fe75657
piecewise smooth boundarybatas mulus sepotong-sepotongR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:29f5280a-b2a5-5b9f-a40c-130827eedf12
continuous piecewise smoothkontinu dan mulus sepotong-sepotongmulus bagian demi bagian yang kontinuR006
Alasan dan bukti

Keep both requirements explicit because piecewise smooth alone does not necessarily imply continuity across breakpoints

R006 ch-approximate.tex raw lines 5000-5023; the source requires global continuity and continuous differentiability on each closed subinterval up to endpoints

urn:uuid:29f9e144-58b1-5b91-b409-3643ef1646e1
Fourier sine transformtransformasi sinus FourierR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:2a321e55-b63d-5ca5-ba6d-d573a9ce09e6
totally boundedterbatas totalR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:2aa6ee9f-37c8-52fd-a226-70d8827bc7d1
injectiveinjektifsatu-ke-satuR006
Alasan dan bukti

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 pp. 10-11

urn:uuid:2ac05db9-f6f0-514e-9bf0-a14b097ef2b8
affine functionfungsi afinR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:2ad2c66c-1410-5454-80d6-39eb3475f863
rate of convergencelaju konvergensikecepatan konvergensiR006
Alasan dan bukti

Use laju konvergensi for the mathematical rate and keep it distinct from the fact of convergence itself

R006 ch-approximate.tex raw lines 5098-5130; the locality discussion contrasts pointwise dependence on nearby values with globally controlled convergence speed

urn:uuid:2aec874a-d4bb-58ca-a3f7-c8d38a4a4907
subsequential limitlimit subbarisanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:2b2d73ae-2378-5325-90b7-c16685cb2d37
transitivetransitifR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:2be63f1c-0f68-56cf-be11-a16455447e88
finite sethimpunan berhinggaR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:2c229033-b310-5d59-a301-833bc4720352
subrectanglesubpersegi panjangR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:2c2b2954-4f1b-57d4-a87b-212462bcf137
Cartesian producthasil kali Kartesiusproduk Kartesiushasil kali silangR006
Alasan dan bukti

Field usage favors hasil kali Kartesius; hasil kali silang is attested but rejected here because it collides with vector cross product.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 6; Soffi Widyanesti Priwantoro Dasar-dasar Matematika Diskrit dan Graf UAD Press 2020 Definisi 3.D.1 printed p. 30 / PDF p. 39

urn:uuid:2cac5422-578a-500c-98f4-8d6d8c10c230
equilibriumkesetimbangantitik kesetimbanganR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 160-248

urn:uuid:2cce3524-8f17-5969-b107-c4a09e8e09f5
imagecitraR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:2cf113f7-4d05-59ad-9812-9e5fdf00038d
trigonometric identityidentitas trigonometriR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2171-2183

urn:uuid:2cf5ebfd-1a86-579b-8920-567baa675eaa
subscript notationnotasi subskripR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:2cfcadee-9ae6-53f7-9bef-72ae31f9d5ec
Arzela--Ascoli theoremteorema Arzelà--AscoliR006
Alasan dan bukti

Preserve the source TeX accent spelling in TeX identifiers while using the Unicode form in metadata

R006 ch-approximate.tex raw lines 2764-2872; Sufri Cara Lain Pembuktian Teorema Arzela-Ascoli Jurnal Sainmatika UNJA

urn:uuid:2d007b1c-cd62-5f2f-aad8-6850118b112e
level sethimpunan levelhimpunan arasR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:2d188481-e54c-5207-8b05-68e321594c6c
differentiation under the integral signdiferensiasi di bawah tanda integralmendiferensialkan di bawah tanda integralR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:2d2f9e71-a69f-5313-a56d-61e6a494993f
one-sided limitlimit sepihakR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:2d8d942e-3440-5fa5-b333-f1a457f3ac02
simple pathlintasan sederhanaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:2dac7cfe-2165-5e06-8afa-c0e1683b2a4a
Kronecker density theoremteorema kepadatan Kroneckerteorema kerapatan KroneckerR006
Alasan dan bukti

Use kepadatan in the theorem name while retaining the lane predicate rapat for dense

R006 ch-approximate.tex raw lines 2947-3064; Indonesian real-analysis teaching sources attest teorema kepadatan and the source supplies the exact dense-circle statement

urn:uuid:2dd024b8-2474-559f-b2a4-ef70deb800ee
block matrix formbentuk matriks blokR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:2dd49820-28f2-5651-bbaa-46f33305fd99
type III domaindomain tipe IIIR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:2e8b492d-2df1-5de7-9abe-b4f4a9a4c8dd
bounded aboveterbatas di atasR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:2ea96b6a-0d95-5c32-a119-911c7042fa96
Cauchy principal valuenilai utama CauchyR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:2eb80822-941e-5246-a8eb-84daf71d50ea
Picard iterationiterasi PicardR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:2ee2d34a-3b41-5f58-a1e5-5138104d38c8
lower Darboux integralintegral Darboux bawahR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:2f7eac1a-4820-5871-9f3c-f0207079dc4b
partial derivativeturunan parsialR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:2fe76229-57ca-5746-8ee0-8ec04a45d999
open sethimpunan terbukaR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:300777a9-e65c-559d-9403-8e0dbabfe098
oscillateberosilasiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1802-1813

urn:uuid:30f3ba8d-c75e-52c4-91c0-aa328bf92607
step functionfungsi tanggaR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:31164515-f75f-5c11-93e6-9019328ea71d
spiral sourcesumber spiralspiral pemancarR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 550-654

urn:uuid:31a275c6-eae2-51ea-961c-e6e2298aa7a1
Lagrange formbentuk LagrangeR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:31b1c3e7-5e92-56cd-8d9f-3ee24719a3c1
inequalityketaksamaanpertidaksamaanR006;R008
Alasan dan bukti

Use ketaksamaan for named inequalities and the abstract relation; pertidaksamaan remains acceptable when referring contextually to a displayed comparison or a problem to solve.

R006/R008 translated corpus; Usmadi, Analisis Real (Bahan Ajar), Universitas Muhammadiyah Sumatera Barat, 2020, PDF pp. 5-12 and 40

urn:uuid:324a7a43-7e35-50d2-a410-600fb98ae27c
Picard iterateiterat PicardR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:32927c38-e5d0-501f-a5c8-130c9dfa92b9
inner integralintegral bagian dalamintegral dalamR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:32b10ebb-13c7-5c4b-8acc-f6e7141238b6
quotient ruleaturan hasil bagiR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:33033851-f7e6-5497-b1fc-da7157c6cc30
linearity of the integrallinearitas integralR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:33238e7a-5a06-5a8c-bdc2-792d81970ffc
sequential limitlimit sekuensialR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:33644870-eebf-5fdb-82db-5cb56684d9ce
Euclidean normnorma EuklidesR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:336568ed-4c35-520a-abeb-12c044735254
limit superiorlimit superiorR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:3382ace7-267c-5c23-a42a-778908dd7757
common denominatorpenyebut bersamaR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:33872702-4843-5b55-b3ee-1b832601f193
ordered fieldlapangan terurutR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:338bbd3c-a6f1-521c-aa10-5b823eb620c1
distance functionfungsi jarakR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:338da77c-ac41-5893-8930-18a144475a4b
absolute valuenilai mutlakR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:342bde32-d599-53b4-9454-897e41ffe2d1
critical pointtitik kritisR006;R007
Alasan dan bukti

R006 ch-several-vars-ders.tex; R007 ch-nonlin-systems.tex raw lines 160-248

urn:uuid:34490a42-90b1-530f-832e-fd2d1ab1c285
Lebesgue--Vitali theoremteorema Lebesgue--VitaliR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:34568a29-44c7-54c8-bc59-9931a9774e69
partial differential equationpersamaan diferensial parsialR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:35001756-0900-524e-92db-4bd8d5123706
horizontal linegaris horizontalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:35057ae3-b592-50a0-968e-53bdcafb1d3b
relative minimumminimum relatifminimum lokalR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:35124fd3-6925-5e12-8f98-f1e0caa84a7b
polynomial growth at infinitypertumbuhan polinom di tak hinggaR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2376-2431

urn:uuid:351d76c7-16a0-5f29-9508-c2ddeefee4c9
pointwise convergencekonvergensi titik demi titikR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:351dd54c-b843-5ae6-bad5-5bd787ea516b
arithmetic-geometric mean inequalityketaksamaan rata-rata aritmetika-geometrikR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:356f28ae-35dc-54c6-a812-ded643af01e8
Riemann integrable on Sterintegralkan secara Riemann pada $S$R006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:356f6add-cfb8-5761-b084-f118b5f14030
axiomaksiomaR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:3632bbab-7269-57e9-a6be-ccba771b2013
polar coordinateskoordinat polarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:37c8581b-ae88-52c8-8863-91a7a5767dfa
open ballbola terbukaR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:381970aa-4718-5247-936e-d66ed3c29428
even functionfungsi genapR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:3832a451-ef84-513c-b9ec-ab2fe6b5ed9b
piecewise continuously differentiable pathlintasan diferensiabel secara kontinu sepotong-sepotongR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:3844ab43-01c6-5c29-91a9-e7d54e49becf
outer measureukuran luarR006
Alasan dan bukti

R006 ch-multivar-int.tex; standard Indonesian measure-theory usage

urn:uuid:38d1e7ec-8f66-5301-8427-b4247bfa8ee6
closed rectanglepersegi panjang tertutupR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:38e68ab5-40d1-5c3c-9d21-a725576302d7
infinite limitlimit tak hinggaR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:38f1a4f3-ac80-5269-b791-a3c060035cc1
eigenvaluenilai eigenR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:390fb8a0-a5a9-5b34-8b3e-52ae4b351275
complex modulusmodulus kompleksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:39385c61-31b6-5651-99c7-bf73d1ed728b
solve for y in terms of xmenyelesaikan terhadap y sebagai fungsi dari xR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:39980d53-ddec-5511-bef9-6bf1b497dd54
mean value theoremteorema nilai rata-rataR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:3a9f6271-7f7b-546e-aa2d-19ae9e77e604
pointwise maximummaksimum titik demi titikmaksimum fungsi secara titik demi titikR006
Alasan dan bukti

Use for the function obtained by taking the maximum of finitely many function values at every point

R006 ch-approximate.tex raw lines 3715-3736; the source defines the binary maximum function by evaluation at each x

urn:uuid:3aa46669-fd08-594b-886b-52724f232a2b
root testuji akarR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:3c519971-27cc-5549-b5ba-587df320b767
absolute maximummaksimum mutlakR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:3c54038f-cb48-570e-9142-88a8ee06621c
vectorvektorR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:3cde77b1-0310-593a-9057-c307d9b86497
Fourier coefficientkoefisien FourierR006
Alasan dan bukti

Coefficient indexed over all integers; its integral recovery formula begins in the next source unit

R006 ch-approximate.tex raw lines 4363-4396; the source names c_n as coefficients of the complex-exponential Fourier series

urn:uuid:3dd27aa6-1c19-56c3-82a4-06559f215fe1
odd functionfungsi ganjilR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:3e4a049c-01d1-5987-b4e0-2d3c451a58ec
linear differential equationpersamaan diferensial linearpersamaan diferensial linierR006;R007
Alasan dan bukti

Prefer linear consistently with the lane and qualify homogeneous constant-coefficient cases where the mathematical claim requires it

R006 ch-approximate.tex raw lines 3392-3397; existing R006 and R007 differential-equation register

urn:uuid:3ed92320-9b19-584b-9f4b-adb02d78014e
extreme value theoremteorema nilai ekstremteorema minimum-maksimum; teorema maksimum-minimumR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:3ee4e936-68f9-525b-83cb-fcbf768f76aa
order of integrationurutan pengintegralanurutan integrasiR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:3fb30087-2f62-567e-84e8-9c3003097ba5
monotone functionfungsi monotonR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:4044c440-0f49-5a2d-a8ae-62d2e93b4792
derivativeturunanR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:407a57dd-145c-5bb1-8268-7d54a76ee757
equivalence relationrelasi ekuivalensiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:40a69357-b406-5378-a490-c0b9a745eb09
radial mappingpemetaan radialR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:40c0016e-d56e-55bc-87d2-74bc1eb9082a
arc-length parametrizationparametrisasi panjang busurR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:410dd29c-84d7-5c49-bdc7-7c8440b51e1c
composition of functionskomposisi fungsiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:413c133b-b604-544d-b484-c4afc9bcbb8e
trajectorylintasantrajektoriR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 70-104

urn:uuid:41ed8754-80fb-5e06-a034-582bb914cc6b
difference quotienthasil bagi selisihR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:42275bcd-6310-5480-915d-7ccc19df729f
divergentdivergenR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:427a69ac-bb28-5331-8fb2-ce443a6deddb
monotone convergence theoremteorema konvergensi monotonR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:42f565fc-b8cb-51fa-abbe-f90b5e4cda2c
Bolzano intermediate value theoremteorema nilai antara BolzanoR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:438010de-55a1-5a30-8c81-3633af404f34
integral p-testuji-$p$ untuk integralR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:4433618c-ae7f-5463-b9e2-95794951a84c
Cesaro summabilityketerjumlahan CesaroR006
Alasan dan bukti

TeX source retains the grave-accented proper name form in index markup

R006 ch-seq-ser.tex

urn:uuid:447c6c5d-b560-5426-a2f6-8dd5e9ef2d1b
monotone increasing sequencebarisan monoton naikR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:44875d0a-c1a3-5dde-8472-a69f222c41a4
lengthpanjangpanjang kurvaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:46684ed1-954f-5308-9be0-d6b68a6c19e0
spanrentangmerentangR006
Alasan dan bukti

Use rentang as the noun and merentang as the verb; distinguish from function range.

R006 ch-several-vars-ders.tex

urn:uuid:46d2f16d-8fbc-5cd2-b525-e3812c9203ec
p-seriesderet-pR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:4702709c-2c5a-5a7b-87cf-43ac32fc238e
higher-order derivativeturunan berorde lebih tinggiturunan tingkat tinggiR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:4735180b-cc85-501d-bad6-809c289fa400
continuity of algebraic operationskekontinuan operasi aljabarR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:47b77fc3-a70e-596c-ae2c-39325fbd785e
contraction mapping principleprinsip pemetaan kontraksiR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:48327155-473c-525c-8eea-ad3cc3fc6ea8
second derivative testuji turunan keduaR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:48c8630e-bd10-5adc-9b05-b70702194cf7
constant mappingpemetaan konstanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:48c9fb5f-3a91-5d56-b936-8ec99907a840
complex Stone--Weierstrass theoremteorema Stone--Weierstrass versi kompleksteorema Stone--Weierstrass kompleksR006
Alasan dan bukti

Keep distinct from the real version in LEBL-TERM-0749

R006 ch-approximate.tex raw lines 3919-3963; theorem title and complex-valued self-adjoint hypotheses in the frozen source

urn:uuid:48d46747-c938-56ff-9167-9b388efba472
dimensiondimensiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4958af93-562d-5c3f-8461-ccff28e34239
interchange the order of partial differentiationmenukar urutan diferensiasi parsialR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4a2be7ac-dd44-5bc5-b2bd-9060b50791ad
coefficientkoefisienR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1303-1309

urn:uuid:4a896ece-97e8-5ab7-b770-557f84f1cd4e
isolated singularitysingularitas terisolasititik singular terisolasiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2476-2535

urn:uuid:4a97e97e-1238-564d-ab5d-529fb610c147
evaluation functionfungsi evaluasiR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:4b6386c7-faa4-5e64-a24a-167e1e45647a
generalized binomial coefficientkoefisien binomial umumR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1730-1752

urn:uuid:4bd26779-34f3-55a6-8412-af3773f23ef7
closed ballbola tertutupR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:4c0a5a8b-7b59-5177-8434-b16689f11fc1
Cauchy producthasil kali CauchyR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:4c0c1a2c-685c-5bc7-aa66-2435f2726c77
extended real numbersbilangan real diperluasR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:4c86ab43-3d2f-593a-978f-550850e07842
countable uniongabungan terhitungR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:4cfce4a7-4d8b-5bdc-b698-1755fbe4e5e7
greatest lower boundbatas bawah terbesarinfimumR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:4d1b8e0c-9189-5b93-a52b-7d06ca2e5db5
local inverseinvers lokalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4d57811b-a34e-5e7d-9376-5e3a8a714ad2
determinantdeterminanR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4d9e7323-db40-5b1c-bb4b-a5cc5f7b5964
surjectionsurjeksiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:4dc10eb5-39ad-50cf-a5d3-531093d7d88c
strictly increasingnaik tegasR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:4dc268f5-8200-5b65-bcf9-f45cf33f1e56
Cauchy sequencebarisan CauchyR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:4e122a75-fe96-57cb-a3a4-7d0db53f4d43
finitely many discontinuitiesberhingga banyak diskontinuitasR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:4e8d9c54-3aab-5109-be85-4c0199179a13
Jacobian conjecturekonjektur JacobianR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4f4ad4e5-1aad-5860-be6e-5a8594e1baf3
strictly monotone functionfungsi monoton tegasR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:4f557f41-6652-54a0-bcba-084276a53de8
seriesderetR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:4f5d04fe-17c6-5e1c-8aa3-5c8beae41316
real exponentialeksponensial realR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1801-1825

urn:uuid:4f72407e-cd46-5059-8a80-e43f30169558
regular curvekurva regulerR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4fd4f156-0d6a-53b1-9a36-6cd1bb2eb2ce
algebraaljabarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:4fe98911-a101-5572-8f1c-d3981338d7dc
singletonhimpunan beranggota tunggalhimpunan satu elemenR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:501b121b-76f9-56e1-bcb0-8b81c743198d
rotationrotasiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1505-1508

urn:uuid:508e1c67-5ca2-5abb-9b0f-a625f004aa84
relative maximummaksimum relatifmaksimum lokalR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:50e4855b-ea23-5300-b07c-9d2de8cac6ce
arctanfungsi invers tangenarktangen; arctantangen resiprokalR006
Alasan dan bukti

Preferred prose makes the inverse-function meaning explicit while retaining the standard operator as a search variant

R006 ch-approximate.tex raw lines 2229-2255

urn:uuid:519ff499-5266-5426-963e-55ce1e1e4bdc
Jordan measurableterukur JordanR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:51a022cb-a576-531b-8e35-48e5b1b22820
Picard theoremteorema PicardR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:520172e7-8292-5cf7-a666-c9c9168f03a3
uniformly continuouskontinu seragamR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:52336178-5bb5-58e8-8b81-df9079f05b4a
infinitely differentiablediferensiabel tak berhingga kaliR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:5290553f-ec9e-5a62-ada9-296260d682f5
sinkserapanpenyerapR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 550-654

urn:uuid:52a151ab-e2fb-5898-bc67-e702bf787a40
orientation of traversalorientasi penelusuranR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:53a37366-192d-5de5-b585-3c0b08587fd2
Bolzano--Weierstrass theoremteorema Bolzano--WeierstrassR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:53e46372-4d05-5246-bc71-2dbaf4b2c6d7
weighted averagerata-rata berbobotrata-rata tertimbangR006
Alasan dan bukti

Prefer the directly attested compact mathematical phrase

R006 ch-approximate.tex raw lines 3137-3390; Universitas Katolik Parahyangan mathematics repository repeatedly attests rata-rata berbobot

urn:uuid:53fa2c4c-1ce4-5aab-bb6e-e4068cb5d88f
neighborhoodlingkunganpersekitaran; kitaranR006;R008
Alasan dan bukti

The field source explicitly defines persekitaran-epsilon and notes kitaran as a synonym; lingkungan remains preferred for internal consistency and broad Indonesian mathematical usage.

R006/R008 translated corpus; Usmadi, Analisis Real (Bahan Ajar), Universitas Muhammadiyah Sumatera Barat, 2020, PDF p. 13

urn:uuid:54d1a801-48c2-5b7c-862d-8d33eaef0b8e
popcorn functionfungsi popcornR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:54e21443-8d6f-5e01-9497-65e4f24716d4
disconnected sethimpunan tak terhubungR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:557199ac-b3b1-5a39-a0f4-6a5470bc1c90
convolutionkonvolusiR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:55bb9e4a-094b-5b93-bbd6-ccb69cfcb3d0
tangent linegaris singgungR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:560aa0e0-591e-5bc1-a91c-8b98b7ff0dbf
complex conjugatekonjugat kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 83-88

urn:uuid:56a5df91-ba0a-50ef-a201-fbf0d5cdaf97
interpolatemenginterpolasimelakukan interpolasiR006
Alasan dan bukti

Use for exact matching of prescribed function values at selected points

R006 ch-approximate.tex raw lines 3632-3670; established Indonesian numerical-analysis register

urn:uuid:5707abf2-1091-5501-8768-4d4eab4d3734
integersbilangan bulatR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:572e66a0-e8b1-53fa-9846-96ce12f2c6ea
base bbasis bR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:572eb03d-9b1c-5d24-948c-6965f89d6569
bijectivebijektifR006
Alasan dan bukti

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 11

urn:uuid:57421292-d439-5eca-a06a-b2d3c8fd5891
spiral sinkserapan spiralspiral penyerapR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 550-654

urn:uuid:576ed7d0-941f-5513-bcc0-ca462487da25
partial derivative of order kturunan parsial orde kR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:58470e5c-27ed-54c4-98b9-5ec1974d95a4
vertical linegaris vertikalR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:59bf5d58-ef12-5705-9723-80601265a59d
term-by-term differentiationdiferensiasi suku demi sukumendiferensialkan suku demi sukuR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1258-1273

urn:uuid:59f04615-9599-5f1c-bfd6-92d4b949c992
relatively compactrelatif kompakR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:5a053af9-277c-56fb-a783-585f69c257b5
lemmalemaR006
Alasan dan bukti

R006 realanal.tex and ch-vol1-intro.tex

urn:uuid:5a0a3582-89fa-5dfe-8733-b990bc1e911f
real partbagian realR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 72-81

urn:uuid:5a19974c-49f4-5e5e-aa88-5ece6e85b92b
open rectanglepersegi panjang terbukaR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:5a284a8c-4f7e-57d4-8367-c26524226e96
equicontinuityekuikontinuitasekikontinuitasR006
Alasan dan bukti

Use ekuikontinuitas as the noun and ekuikontinu as the adjective; Indonesian field usage directly attests ekuikontinu

R006 ch-approximate.tex raw lines 2543-2617; Sufri Cara Lain Pembuktian Teorema Arzela-Ascoli Jurnal Sainmatika UNJA

urn:uuid:5a8d3fa6-d909-554e-add6-feb563137bc9
basisbasisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:5ab8c8e3-f1ac-5186-bdc2-59c68d9f692b
continuously differentiablediferensiabel secara kontinuR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:5acf1744-e791-5f29-b7d6-444e9b676a14
real vector spaceruang vektor realR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:5b477002-9884-55c4-9b09-7db80c17dd77
intersectionirisanR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:5b5ab1c2-74dc-57ac-a92c-a0a6df07a427
irrationalirasionalR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:5bb3c627-186f-577c-a10c-1c8522df5c18
path integral of a one-formintegral lintasan bentuk-1R006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:5c4d483a-04ca-512b-945e-264315c4d0f6
differentiablediferensiabelR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:5d802a87-1a2a-527e-b8fb-7694fa061032
power series representationrepresentasi deret pangkatR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1223-1234

urn:uuid:5e932559-ced8-55a1-8840-95736ab5b853
algebraic operationsoperasi aljabarR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:5fb497e9-e140-5b82-9ebb-15905abc620a
conservative vector fieldmedan vektor konservatifR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:5fc85e38-59e6-5edf-8074-73835fe7beb3
real directionarah realR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1802-1805

urn:uuid:5ffbca74-0cd3-5d34-b617-48bb48e10542
joint limitlimit bersamaR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:606e9ddf-d727-5ef8-a040-503fb08c40b4
cluster pointtitik akumulasiR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:60e458d5-1c66-5f43-a7a1-0546a1a9b40f
propositionproposisiR006
Alasan dan bukti

R006 realanal.tex and ch-vol1-intro.tex

urn:uuid:6106e5e9-a2e4-5ca5-906a-ac8b45699d68
convexkonveksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:6109a363-4e80-5718-afa1-d649701a315f
Leibniz ruleaturan LeibnizR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:6146104e-66b8-5fff-bd63-862ef905ff72
real algebraaljabar atas $\R$aljabar realR006
Alasan dan bukti

Preferred wording makes the scalar field explicit.

R006 ch-multivar-int.tex

urn:uuid:61b23d02-2455-511c-b0c7-a820cc618fba
arc-length measureukuran panjang busurR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:61d60fa3-676e-59e5-b2fb-3bba1eb15fcb
first-order ordinary differential equationpersamaan diferensial biasa orde satuR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:62a96b85-bdf8-5c82-96cd-67c78e18dd81
continuous functionfungsi kontinuR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:6316df19-afe2-5dee-a1e4-608e9653a766
dense sethimpunan rapatR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:6342bd04-b9f9-52bd-beed-48e23c26f770
arc lengthpanjang busurR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2099-2115

urn:uuid:634c201f-e20f-5d51-9399-c770c2b2fde1
product ruleaturan hasil kaliR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:637f2ab5-cfb6-5056-aa95-06eee711c04a
differentiation operatoroperator diferensiasiR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:6385995b-d311-5eab-90d1-502f2f827798
rational functionfungsi rasionalR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:63d165d3-211e-5831-a9eb-49f41fe6ad32
well-definedterdefinisi dengan baikR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:641fe4d6-264c-515b-9dec-fe2121fef720
generate an algebramembangkitkan aljabaraljabar yang dibangkitkan oleh fungsi-fungsiR006
Alasan dan bukti

Generated nonunital algebra here consists of real polynomials in the generators with no constant term

R006 ch-approximate.tex raw lines 3876-3884; the source index entry names the construction and the surrounding paragraph defines it by finite products and linear combinations

urn:uuid:64991942-03f9-5406-bfc8-f97bfd35de6e
set differenceselisih himpunanR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:6534b57d-507e-5a10-b07d-33cd3c88b79c
local inverse branchcabang invers lokalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:663454aa-f9ae-5037-ad3c-2a80c4e5b87c
orientation preserving reparametrizationreparametrisasi yang mempertahankan orientasiR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:663fe446-acc2-5ca1-97fb-0cb8b2103054
Fourier transformtransformasi FourierR006
Alasan dan bukti

Standard proper-name modifier order; keep the transform concept distinct from the Fourier series itself

R006 ch-approximate.tex raw lines 4400-4422; the source explicitly identifies the coefficient map as a type of Fourier transform

urn:uuid:66828039-e22b-52b8-9eb1-e364c9f8ffd8
nonpositivenonpositifR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:66c32daa-2858-5093-9a87-59d8e84ac5a3
power seriesderet pangkatR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:66f5e2bc-8180-59d1-89e2-278aa4b0ffc7
smooth curvekurva mulusR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:671ee46b-8367-5906-8cd3-4e949172ff6b
column vectorvektor kolomR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:673291a9-360f-595f-b21d-b79632e4c451
decimal digitdigit desimalR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:6753810b-dd0a-5891-9b04-7e642703c43a
comparison testuji perbandinganR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:676ebcfd-142d-519a-9a28-f86fc6d6086d
jump discontinuitydiskontinuitas lompatandiskontinuitas loncatdiskontinuitas lompatR006
Alasan dan bukti

Keep distinct from a removable discontinuity; reuse the established limit sepihak term for the two lateral limits

R006 ch-approximate.tex raw lines 4424-4537; diskontinuitas lompatan is attested in Indonesian university calculus texts while diskontinuitas loncat is an established variant

urn:uuid:678b32fe-c3f0-5a36-a65b-035ee65f2b13
commutative diagramdiagram komutatifR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:67b0e3a7-29be-5a6f-bb6e-8bd67164d3ce
Newton's methodmetode NewtonR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:67b55e59-986a-56b9-8b4b-1f649eba5392
topologytopologiR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:67dcef05-e113-50c0-ad48-6cb732154d63
integrabilityketerintegralanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:68190aa4-467b-5d06-ae94-dafe80f9243f
least upper boundbatas atas terkecilsupremumR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:6849a90b-2e82-5566-afdc-8161f5e65674
open neighborhoodlingkungan terbukapersekitaran terbukaR006
Alasan dan bukti

Retain lingkungan for cross-volume consistency; persekitaran is strongly attested and recorded as a variant.

R006 ch-metric.tex; Usmadi, Analisis Real (Bahan Ajar), Universitas Muhammadiyah Sumatera Barat, 2020, PDF pp. 13 and 23

urn:uuid:68a284ed-034f-51fd-91cd-b2c1366f3d83
invertible operatoroperator invertibelR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:68a95cbf-ba8b-510f-92aa-60ee810ebe97
Riemann--Lebesgue theoremteorema Riemann--LebesgueR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:68d0572b-1e42-5591-8e7d-e74618199ed3
unique representationrepresentasi unikR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:68d2615b-6846-5bfa-b3f5-fb656ce7a243
Green's theoremteorema GreenR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:6a121dfd-b40e-5345-ab90-1c56fc20b5fc
uniongabunganR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:6c5437a0-735f-5ec6-840d-c0d2f2b6acc7
Lipschitz continuouskontinu LipschitzR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:6d2afc83-ce1c-53d6-803d-13237543d4df
bisection methodmetode biseksiR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:6d4e0460-ca2a-50cf-99ef-d780f48948aa
completeness propertysifat kelengkapansifat kelengkapan DedekindR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:6d64501a-4a00-5f4f-af5f-7570607c997b
compact supporttumpuan kompakdukungan kompak; bertumpuan kompak; berdukungan kompakR006
Alasan dan bukti

The adjective in current prose is bertumpuan kompak; the earlier admitted berdukungan kompak remains a valid variant

R006 ch-multivar-int.tex and ch-one-dim-ints-sv.tex

urn:uuid:6d739884-45d8-581c-ae40-5d480d1a4b7f
discontinuitydiskontinuitasR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:6e5a6775-21e4-5cd1-bcf9-bac5cdee1d53
refinement of a partitionpenghalusan partisiR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:6f297cbb-6279-5ffa-bd85-e43403983a59
initial conditionsyarat awalR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:6f93c5c8-10ce-557f-8709-6885e2174f58
partial sumjumlah parsialjumlah-jumlah parsialR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:6fbd625c-b766-59c0-9535-8db6a7e9d9dd
elementelemenanggotaR006
Alasan dan bukti

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 2

urn:uuid:7014d2c3-bf11-532f-b853-186d2679fcc6
restrictionpembatasanR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:7039911a-973e-514a-a519-b7a216940b1e
multiplication of seriesperkalian deretR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:709b8784-49e7-5e13-bec1-d3f7aee7f6d8
positively orientedberorientasi positifR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:70f5971e-0c98-591f-9e26-1dc3b7e1c52c
directional derivativeturunan arahR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:718635bb-6f37-5941-bb26-b717b290ee31
ordered sethimpunan terurutR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:71907072-1fd8-5e17-b52f-29f65b784ac9
discrete metricmetrik diskretR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:71abf4e1-cd23-557a-aa95-81d38af69e18
Leibniz notationnotasi Leibniznotasi diferensial LeibnizR007
Alasan dan bukti

Retain the proper name Leibniz and distinguish the notation from the Leibniz rule

R007 ch-first-order-ode.tex raw lines 121-148; the indexed term introduces dy/dx notation before the inverse-function manipulation

urn:uuid:731bae52-456a-532f-afbc-11b3b3820d3c
ternary expansionekspansi ternerrepresentasi ternerR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:732e9d42-1cd1-5b58-b865-b07bb424d7ea
unit spherepermukaan bola satuanbola satuanR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:73950d71-0858-5db5-bd16-4fb7c63c5dbc
Jacobian matrixmatriks JacobianR006;R007
Alasan dan bukti

R006 ch-several-vars-ders.tex; R007 ch-nonlin-systems.tex raw lines 160-248

urn:uuid:73b96317-6dc5-55f0-bc53-c4ef94cd1cfb
fundamental theorem of calculusteorema dasar kalkulusR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:73fb7999-31c4-5d46-a686-a579eb672d34
strange attractoratraktor anehatraktor asingR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 2304-2354

urn:uuid:740162c3-c5e5-5720-a7b2-350e6adae24a
connected sethimpunan terhubungR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:742523f9-d320-50da-9a7c-9d5757f627e3
real numberbilangan realR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:743b628c-74e3-59f2-9ba0-aa3de68bc57f
normnormaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:746acd25-7e97-5e85-b109-bbf9edd60e4c
decreasingmonoton turunR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:749a845d-d732-536d-94f8-685509736d14
triangle inequalityketaksamaan segitigaR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:74b47f8c-8fc3-5f74-86f3-08b9b974a4dd
orientationorientasiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:74dfdcc9-64c6-5bd4-a865-3a4cb1f2b517
limit pointtitik limittitik akumulasiR006
Alasan dan bukti

Alternate source name for cluster point; titik akumulasi remains the preferred main term

R006 ch-approximate.tex raw lines 1581-1585

urn:uuid:74f8792b-f28a-5d38-8477-d8c7ecf498ab
ratio test for sequencesuji rasio untuk barisanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:752c6954-a8f4-5291-88b7-e960fbd0a462
analysisanalisisR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:75357f76-02d5-5f2e-9e97-dc9c65eaf5c3
codomainkodomainR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:757bfd20-2f62-5a82-9fe8-0d9df72921c7
bounded aboveterbatas di atasR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:759c6f9a-1890-57f3-b996-484f9e77738a
limitlimitR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:75d6df61-bb1b-53d0-81e0-5750927408ef
empty sethimpunan kosongR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:75e2a3eb-2262-5943-88de-36fcd9bac079
complex rootakar kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw line 2272

urn:uuid:7635cb40-8f3d-51ae-b415-65e962822694
zero extensionperluasan nolR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:76450f60-9905-574b-aec9-72ff4ed9c397
real-valuedbernilai realR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1754-1758

urn:uuid:76461603-d504-5d48-aa92-24a09b71c261
countableterhitungtercacahR006
Alasan dan bukti

Canonicalized by LEBL-ID-DEC-0016 and reconfirmed by the 2026-08-22 field-usage QA.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 1 and Definisi 1.10.1(ii) printed p. 1.42 / PDF p. 42; Indonesian university analysis sources

urn:uuid:76b78193-9fda-5fd3-bb98-ac98e1c0f56b
basis statementpernyataan dasarkasus dasarR006
Alasan dan bukti

Source specifically calls this a statement rather than a case.

R006 ch-vol1-intro.tex

urn:uuid:76c28612-bdf2-53a3-b243-6e49e0cacf71
vanishes at no pointtidak nol di setiap titiktidak pernah nol; tidak lenyap di titik mana punR006
Alasan dan bukti

Quantified family property: at each point some family member has nonzero value

R006 ch-approximate.tex raw lines 3582-3626; Arta Ekayanti Generalisasi Teorema Aproksimasi Weierstrass in Fibonacci 4(2) directly attests tidak nol di setiap titik

urn:uuid:77153e79-a40a-5182-9053-85de8dd5aa64
complex planebidang kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 16-34

urn:uuid:7749497b-391f-5fb9-87c1-c77a48a97390
Ck functionfungsi berkelas CkR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:7757319b-2821-5daf-92c1-a9e604ab31d3
range of a sequencedaerah hasil barisanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:78058517-87d7-52a9-8892-4f404a14a5b8
characteristic functionfungsi karakteristikR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:789fcdf9-41d1-59f6-bc2d-040adb293d96
Taylor seriesderet TaylorR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:791b2332-e520-55b1-a940-e2f259224d04
phase diagramdiagram faseR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 70-104

urn:uuid:794f746e-06b6-5c17-b4a7-49d26ecdc691
in lowest termsdalam bentuk pecahan paling sederhanabentuk paling sederhanaR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:795d2bcf-7131-5850-9c44-12dc75f61c81
symmetric partial sumjumlah parsial simetrisR006
Alasan dan bukti

Preserve the symmetric index bounds; this is not an arbitrary one-sided partial sum

R006 ch-approximate.tex raw lines 4363-4396; the source defines s_N by truncating the bilateral Fourier series from -N through N

urn:uuid:79a189f5-8f60-5417-8707-7a63137e8d9c
nonpositive x-axis raysinar sumbu-x nonpositifR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:79a2650f-c2bd-544f-af5c-59bb4542bb2f
unit-speed parametrizationparametrisasi berkelajuan satuR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:79c602dc-414e-5c3e-b9bc-e28d145b4663
strict relative minimumminimum relatif ketatR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:7a795318-ceb6-550b-83bf-2dea470fdb0c
closed sethimpunan tertutupR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:7aab8c2a-5da2-542d-9796-56798067e8ac
locally invertibleinvertibel secara lokalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:7adcc827-c625-52e9-b187-0eab08301140
nowhere continuoustidak kontinu di setiap titiktak kontinu di mana punR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:7b1ae7a8-6938-5215-88d7-398e1b5b6f10
eigenvectorvektor eigenR006
Alasan dan bukti

Matrix or linear-operator vector associated with an eigenvalue

R006 ch-approximate.tex raw lines 4245-4258; modifier order follows the admitted nilai eigen terminology

urn:uuid:7b2c600a-c970-5b30-bd9c-d106b5dceaf8
remaindersisaR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:7b555cb9-17f6-55fa-a1de-e726eaabca37
piecewise smooth curvekurva mulus sepotong-sepotongR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2099-2102

urn:uuid:7be8f21f-c19e-5298-a613-24fc55df1e72
cardinalitykardinalitasR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:7c119883-35c7-52ca-beba-9baa8da74d66
formal seriesderet formalR006
Alasan dan bukti

Do not interpret the formal-series relation as approximate equality or as a convergence claim

R006 ch-approximate.tex raw lines 4400-4422; the source stresses that the tilde creates a formal series without asserting equality or convergence

urn:uuid:7ca3c67f-0493-5bb3-8222-487648f7b773
odd permutationpermutasi ganjilR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:7cb84a41-5343-5e6f-9cfd-918a318eb4de
domaindomaindaerah asal; daerah definisiR006
Alasan dan bukti

Retain the concise established loanword; record both attested explanatory variants.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 10

urn:uuid:7cbc0d38-2e90-5447-9a8b-5dc3784889ef
pointwise boundedterbatas titik demi titikR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2556-2617; Sufri Cara Lain Pembuktian Teorema Arzela-Ascoli Jurnal Sainmatika UNJA

urn:uuid:7cdfda26-42a6-502d-996f-a5b04d5d98fd
infimuminfimumbatas bawah terbesarR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:7d2e684a-f490-55ed-a1b0-3703c22aba26
piecewise smooth pathlintasan mulus sepotong-sepotongR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:7d48b95b-d9ab-5983-b710-d0d789a105f6
orientation reversing reparametrizationreparametrisasi yang membalik orientasiR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:7db9a605-753b-551b-b8b7-8af1ce8a685a
increasingmonoton naikR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:7e2595bb-73d8-589b-b8cd-41b3a9400223
middle thirdsepertiga tengahR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:7e3d9450-6cf3-5d45-b8b5-6435cca3f5fb
subspacesubruangR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:7ed577fa-cfca-5e03-938c-ba0c9e924312
regularityregularitasketeraturanR006
Alasan dan bukti

Use regularitas for differentiability and smoothness properties rather than everyday keteraturan

R006 ch-approximate.tex raw lines 4539-4566; the source relates function regularity to Fourier-coefficient decay

urn:uuid:7f2331f0-aee1-5ae3-b725-2e4e894853f7
uniform continuitykekontinuan seragamR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:7f3390f3-48a1-5528-a3d9-8844bcf2858c
smooth reparametrizationreparametrisasi mulusR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:800835f8-34f5-5696-8e6b-720f195e4283
lower Darboux sumjumlah Darboux bawahR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:80197d86-5482-5a0b-94d2-15ee46b18b02
sequencebarisanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:8032b5e6-a2a5-5c8f-b960-c958488cade2
polynomial mappingpemetaan polinomialR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:80b0a9d4-3e64-5c27-84d3-21ce64871a05
weak solutionsolusi lemahR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:80e54e3d-96ce-5af0-8536-d77862a2ab63
self-adjointself-adjointadjoint-diriR006
Alasan dan bukti

For a function algebra this means closure under pointwise complex conjugation

R006 ch-approximate.tex raw lines 3910-3966; Indonesian mathematics publications from Universitas Terbuka UNY UNAND and ULM retain self-adjoint as the field term

urn:uuid:82249211-48be-52de-ab38-1dc14b75db2f
zero mappemetaan nolR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:823d8ace-a4a0-5de8-b125-e86d9d94dff2
complex conjugation mappemetaan konjugasi kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1959-1966; distinct from the value term LEBL-TERM-0623

urn:uuid:82619cad-77b3-5704-a945-9674e8c39c44
seminormseminormaR006
Alasan dan bukti

A nonzero function supported at one point has seminorm zero; the quotient carries the genuine L2 norm

R006 ch-approximate.tex raw lines 4612-4711; ADV-0259 distinguishes the degenerate Riemann-function pairing from a genuine norm before quotienting by equality almost everywhere

urn:uuid:826239eb-d7c4-55ba-b3d6-6baf917a9841
unit ballbola satuanR006
Alasan dan bukti

Distinct from the unit sphere; the defining inequality is strict.

R006 ch-several-vars-ders.tex

urn:uuid:8279e179-b577-5caf-9cb5-c48010ce06ac
lower integralintegral bawahintegral Darboux bawahR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:82a016ec-1e02-5406-b51c-3a598189266c
periodperiodeR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1938-1945 and 2049-2072

urn:uuid:82b8bbe7-e98d-5b00-bc23-1484006939d8
inverse function theoremteorema fungsi inversR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:82c4c881-236d-5190-b866-07d7e551840e
function of class C1fungsi berkelas C1fungsi C1R006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:82cb4bb4-2f52-5dfe-b583-bc114b7775e1
enumerationenumerasiR006
Alasan dan bukti

Direct formal definitional attestation.

R006 ch-multivar-int.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 Definisi 1.10.1(i) printed p. 1.42 / PDF p. 42

urn:uuid:831b9f09-46f3-5873-a433-6da0c28310bf
nowhere differentiabletidak diferensiabel di mana puntak diferensiabel di mana puntidak terdiferensialkan di mana punR006
Alasan dan bukti

Use the established adjective diferensiabel with an explicit global pointwise negation and keep it distinct from nowhere continuous

R006 ch-approximate.tex raw lines 5292-5315; the exercise identifies the function as nowhere differentiable while explicitly excluding that assertion from the required proof

urn:uuid:831e92c5-a19a-58bc-8ba0-9aff677c21a5
infinitetak berhinggaR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:8374ca1c-59a3-5503-9e76-c4fd80d81f36
euclidean spaceruang EuklidesR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:83875123-ce4c-5797-8146-385e4f33f947
periodic extensionperluasan periodikR006
Alasan dan bukti

Endpoint values matter for continuity of the periodic extension even though changing one point does not affect the Fourier coefficients

R006 ch-approximate.tex raw lines 4424-4537; the example explicitly includes endpoint continuity when extending functions from the base interval

urn:uuid:83c397f5-88ff-55bd-91f3-9b8b41aa30fd
symmetric intervalinterval simetrisR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1444-1446

urn:uuid:83fc5d8e-be06-56a0-b181-7067977c2997
localizationlokalisasiR006
Alasan dan bukti

Use the established Indonesian mathematical loanword lokalisasi and preserve its pointwise analytic meaning

R006 ch-approximate.tex raw lines 4982-5115; the subsection proves that Fourier-series convergence at a point depends only on local behavior near that point

urn:uuid:848cf556-a09c-55b8-85a0-ff2e367c5e59
swapping limits of seriespertukaran limit deretR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1350-1354

urn:uuid:84e72a55-8629-5649-8f11-ad3d46de0052
sequencebarisanR006;R007
Alasan dan bukti

R006 ch-seq-ser.tex; R007 ch-nonlin-systems.tex raw lines 2304-2354

urn:uuid:85959484-9806-5686-b82d-e3333ac35592
centerpusatR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 767-878

urn:uuid:85b8f76a-18d1-5be4-8a46-beeff07218b4
Banach fixed point theoremteorema titik tetap BanachR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:86307d2f-2f63-5923-9aa4-d34ae7d61857
open middle thirdsepertiga tengah terbukaR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:865fd911-b653-5b4a-abe6-6cf8cfc296ab
negativenegatifR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:86e9e8da-7637-56fa-929e-2576fad505cc
matrixmatriksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:876e27e5-eae8-52df-8fb4-d5db01f34dd1
polynomial in several variablespolinom beberapa variabelpolinom multivariabelR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:877f29c8-7029-5ac2-803d-270e0ab23cdf
negatively orientedberorientasi negatifR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:87f3ed4c-7716-55dd-92fb-5a311d234719
almost everywherehampir di mana-manahampir di setiap titikR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:881d78bd-f234-5ad1-a97a-e80f845235a7
disjointsaling lepasR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:8829d3a6-118f-5270-a15f-9702fd4a3c49
remainder termsuku sisaR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:8865990a-eacb-5ac5-8c42-585605d374a5
reverse triangle inequalityketaksamaan segitiga terbalikR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:887bb2ec-0740-54ea-a88f-2695b6de3b7d
differential equationpersamaan diferensialR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:88bab9b1-b43b-57e7-bc49-bb32aaf627b2
sinefungsi sinussinusR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1864-2096

urn:uuid:89388a32-b771-5133-9dbb-93e8000f4958
uniform convergencekonvergensi seragamR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:8975e3c3-2b61-58e9-af3e-77a02b66acff
bounded belowterbatas di bawahR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:89c71989-db49-51bc-9102-fbbdf49fc556
conservative equationpersamaan konservatifR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 767-878

urn:uuid:89de1c0e-9834-563d-a068-9f588db6e2e1
integration by partsintegrasi parsialR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:8c54d4c4-749b-52f4-a2ff-8b7eeffd5708
arcsinfungsi invers sinusarksinus; arcsinsinus resiprokalR006
Alasan dan bukti

Preferred prose makes the inverse-function meaning explicit while retaining the standard operator as a search variant

R006 ch-approximate.tex raw lines 2229-2238

urn:uuid:8c5709bd-c70f-582d-a6fa-d45eee84f225
bijectionbijeksiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:8c7bec6d-ebdd-5c24-bf7c-3084c55f3bc2
null sethimpunan nolhimpunan berukuran nolR006
Alasan dan bukti

R006 ch-multivar-int.tex; standard Indonesian measure-theory usage

urn:uuid:8ca38263-a267-52f8-87b9-85023ae3fa2d
intermediate functionfungsi perantaraR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:8ca61d1b-ec6f-519c-829f-076bce961524
Fubini theoremteorema FubiniR006
Alasan dan bukti

R006 ch-multivar-int.tex; Indonesian university calculus materials

urn:uuid:8d56703f-682f-55fc-be9d-e4fbb7502f34
monotone sequencebarisan monotonbarisan monotonikR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:8e281877-bb42-5266-a3f1-55af6b0f2dde
injectioninjeksiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:8e45d469-6799-510b-8c08-acd8adc56e76
counterexamplecontoh tandinganR006
Alasan dan bukti

Use for an example disproving a proposed implication or claim

R006 ch-approximate.tex raw lines 3464-3468; established Indonesian mathematical register

urn:uuid:8ea52a70-9b88-5664-855b-e4ee66f73e17
linear combinationkombinasi linearR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:8f255716-483e-5e4c-a41d-2cf62a3eb128
nth derivativeturunan ke-nR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:8f3e474e-fc4a-5db2-922e-b088a6583d91
triangle inequalityketaksamaan segitigaR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:8f85fa5a-b960-5b17-838c-0cb9dbff8346
linearly dependentbergantung linearR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:8fc3fc50-19d3-55cd-b2ee-8e80d508bafd
solve for ymenyelesaikan terhadap ymencari yR007
Alasan dan bukti

Generalizes the compatible R006 phrase in LEBL-TERM-0458 while preserving the requested variable

R007 ch-first-order-ode.tex raw lines 121-148; the final step algebraically inverts x(y) to recover y as the dependent variable

urn:uuid:8ff277e9-7f8f-5482-8823-06d1977b071c
p-testuji-puji deret-pR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:9042fa3c-150a-54ad-870f-f9c63483ebfb
maximum principleprinsip maksimumR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:90700e58-92b5-5389-b4db-12e7a84a5647
real polynomialpolinom realpolinom berkoefisien real; polinom dengan koefisien realR006
Alasan dan bukti

In this proof real polynomial means a polynomial with real coefficients

R006 ch-approximate.tex raw lines 3392-3450; Indonesian mathematics texts directly attest polinom and polinomial dengan koefisien real

urn:uuid:90adc7f3-ebfc-548d-b78a-63a98bb1ec66
projectionproyeksiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:90b8aa26-2eec-5480-a866-53e26ea9cfdc
pointwise minimumminimum titik demi titikminimum fungsi secara titik demi titikR006
Alasan dan bukti

Use for the function obtained by taking the minimum of finitely many function values at every point

R006 ch-approximate.tex raw lines 3715-3736; the source defines the binary minimum function by evaluation at each x

urn:uuid:91c57ebb-5f1d-59bd-9e27-f1e3b3fb992c
limit comparison testuji perbandingan limitR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:91f20e5b-f5b7-557a-a81d-03c19777b556
countably infinitetak berhingga terhitungtak hingga tercacahR006
Alasan dan bukti

Canonicalized by LEBL-ID-DEC-0016.

R006 ch-vol1-intro.tex and Indonesian university analysis sources

urn:uuid:921a3054-881b-59b3-b59b-601f0ae78b5d
winding numberbilangan putarR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:922a6373-9871-5d09-a1d1-7dd070f36e87
preimageprapetahimpunan prapetaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:922edab6-ff29-5c80-8a07-3c4bc95e7f81
double sumjumlah gandaR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1457-1472

urn:uuid:929d08c3-5c54-5f47-92e6-9ab1319bf26a
change of basisperubahan basisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:93e0b5cf-4d02-59da-a380-309dc07af62d
potentialpotensialR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:9450e938-16d3-5008-83b3-537817f32ee5
equivalence classkelas ekuivalensiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:95223dd1-700c-52ba-98cb-c5eff15b2971
symmetric difference quotienthasil bagi selisih simetrisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:95725dd0-ab7b-5da3-9c0e-158156a02bc4
finite geometric sum formularumus jumlah geometri berhinggaR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2240-2247

urn:uuid:9588cfa9-5ba8-50ef-a5bf-c00100f99ef2
identity of indiscerniblesidentitas unsur yang tak terbedakanR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:95c307e0-24dc-5e6c-b240-5d7185fcb0a8
subspace metricmetrik subruangR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:9684d87b-4e81-53e4-8a68-379b668c0599
smooth pathlintasan mulusR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:96a628c3-6998-5b6e-bd42-443134a3b607
Bessel's inequalityketaksamaan Besselpertidaksamaan BesselR006
Alasan dan bukti

Follow TERM-0626 and use ketaksamaan for named inequalities; retain the proper name Bessel

R006 ch-approximate.tex raw lines 4805-4850; the finite orthonormal expansion yields the named square-summability bound

urn:uuid:96e1e7d9-0a63-51b6-bfe2-d3a162ad31b1
upper Darboux sumjumlah Darboux atasR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:9710b115-bd1e-5546-93e2-f30c788f8e5c
radius of convergencejari-jari konvergensiR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:971574c5-32b6-5cad-b8c0-2ac74b766632
linear first-order differential equationpersamaan diferensial linear orde satuR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:9728b67a-3d69-58e4-a270-1f87a3f7d5a1
natural logarithmlogaritma alamilogaritma naturalR006
Alasan dan bukti

R006 ch-riemann.tex and notations.tex

urn:uuid:984f6308-e945-5774-b413-d71585fa42de
concatenate pathsmenyambungkan lintasanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:992366d2-c36f-55c1-8bbf-631763e4ec12
fiberseratprapeta titikR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:993daa41-54df-58a8-91e0-3baa2c8fc9d2
compact sethimpunan kompakR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:9977c455-dc88-53e6-b0ac-02a2d5a721ad
maximummaksimumR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:99e177b4-ef32-5546-bdc7-7b4e75a2215d
subcoversubselimutR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:99f13aaa-c29b-5063-9d5f-56b3fb980a38
Cartesian productproduk KartesiusR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:9b738c22-5577-5d8e-84c2-91a7528f786b
cosinefungsi kosinuskosinusR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1864-2096

urn:uuid:9ba15aea-cdfc-5952-8583-1728e9bfc495
signed integralintegral bertandaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:9bb52b2a-ca7a-5258-ba36-964432ff3e32
Laurent seriesderet LaurentR006
Alasan dan bukti

Allows negative powers unlike an ordinary power series

R006 ch-approximate.tex raw lines 4235-4241; standard proper-name modifier order consistent with Indonesian mathematical register

urn:uuid:9bd186a3-838f-56e8-87be-8199599e86e7
convergence testuji konvergensiR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:9bef8395-8b41-5348-8218-c30b26a53a39
n-dimensional volumevolume berdimensi nvolume n dimensiR006
Alasan dan bukti

R006 ch-multivar-int.tex and notations.tex

urn:uuid:9c0ebedd-42b2-5ace-9544-36efc4dd6af5
ontosurjektifmemetakan padaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:9c558521-85f6-5273-aeaf-bf3e82984c44
smoothingpenghalusanpelicinanR006
Alasan dan bukti

Semantic ID distinguishes approximation smoothing from partition refinement

R006 ch-approximate.tex raw lines 3137-3390; UNESA numerical-methods curriculum pairs aproksimasi dan penghalusan with smoothing

urn:uuid:9c6bf7ad-e41a-511e-bf84-f85326304331
isolated zerotitik nol terisolasiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2466-2487

urn:uuid:9c6f4b92-de16-5a53-86d7-179f91e59f29
iterated integralintegral berulangintegral iterasiR006
Alasan dan bukti

R006 ch-multivar-int.tex; Indonesian university calculus materials

urn:uuid:9d18f654-0e8b-59bb-939c-b99cc19d885a
convex combinationkombinasi konveksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:9e15d01f-a36c-55ca-8056-a65965ff25f3
workusahakerjaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:9e301f4f-e9b4-537b-a521-c7f4ca4a3fc5
Parseval's theoremteorema ParsevalR006
Alasan dan bukti

Retain the proper name Parseval and use lowercase teorema in index entries

R006 ch-approximate.tex raw lines 5132-5185; the theorem states L2 convergence and the Fourier coefficient inner-product identities

urn:uuid:9e6b7d7d-1e53-53a1-9d42-36fd5256b3c7
Cauchy seriesderet CauchyR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:9eb12450-8f8b-506c-9c36-7fd605b51cf8
rowbarisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:9f10435e-1300-5a26-8247-67186ab1602a
force fieldmedan gayaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:9f43f0ac-b217-5862-8afe-53a7ac163e53
supremum normnorma supremumR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:9f57c875-e008-5579-b622-c4df0caab871
path integral of a functionintegral lintasan suatu fungsiintegral lintasan skalarR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:9fb3df3b-5e3a-5704-a4d9-d372c8b83385
two-sided approximation errorgalat aproksimasi dua-sisigalat dua-sisiR006
Alasan dan bukti

Use when both upper and lower error bounds hold equivalently to an absolute-error estimate

R006 ch-approximate.tex raw lines 3813-3861; Claim 4 combines upper and lower bounds into uniform absolute error

urn:uuid:9ff7839c-018d-55b6-872f-41d7ccd8db75
open coverselimut terbukaR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:a0356dc5-d581-5be9-84f4-9616e63a68a7
integrate with respect tomengintegralkan terhadapmelakukan integrasi terhadapR007
Alasan dan bukti

Keep the integration variable explicit and do not render with respect to as a spatial relation

R007 ch-first-order-ode.tex raw lines 121-148; the method integrates 1/f(y) with y as the integration variable

urn:uuid:a0461dcd-2d07-59d7-9828-b775abb02c51
identically zeroidentik nolR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:a05b19f9-ebf1-56cb-ae79-c9c630a016ae
periodicperiodikR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1938-1945 and 2041-2072

urn:uuid:a0fd9c0d-9bfe-5ac1-8c5f-8f73027608e3
endpointtitik ujungR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2240-2247

urn:uuid:a11c6012-921d-5d81-8ac1-995f6d49f5a3
locally LipschitzLipschitz lokalR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:a167a3f5-77eb-52b3-aa2c-9c71f6372ec1
formal solutionsolusi formalpenyelesaian formalR006
Alasan dan bukti

Use solusi formal for an algebraic coefficientwise candidate and do not imply that convergence or the differential equation has already been justified

R006 ch-approximate.tex raw lines 5358-5385; the exercise first derives a coefficientwise solution before convergence and termwise differentiation are justified

urn:uuid:a1917ee0-27b9-53d3-bf58-7c1c86d27e1a
asymptotically stablestabil asimtotikstabil secara asimtotikR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 550-654

urn:uuid:a2189453-d42c-5cd0-b497-52414ca95381
polynomial with rational coefficientspolinom berkoefisien rasionalpolinom dengan koefisien rasionalR006
Alasan dan bukti

Concise attributive form in running proof prose

R006 ch-approximate.tex raw lines 3392-3450; Indonesian university mathematics materials directly attest polinomial dengan koefisien rasional

urn:uuid:a2ec3158-2693-522a-9bc8-248a823823e6
symmetric sethimpunan simetrisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:a385d19b-9f21-5ee4-8ae7-b1088396558e
nonincreasingtak menaikR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:a3bda879-5688-59cc-ae50-414c2854d1af
absolute value functionfungsi nilai mutlakR006
Alasan dan bukti

Distinguish the function concept from the scalar absolute-value operation

R006 ch-approximate.tex raw lines 3478-3485; compositional binding from established nilai mutlak and fungsi

urn:uuid:a48b1247-d3a0-515d-ac81-dd1d6a2cf0cb
contraction mappingpemetaan kontraksikontraksi; pemetaan kontraktifR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:a4e2f50d-2619-5f1e-8d58-dde30b853a80
reverse triangle inequalityketaksamaan segitiga terbalikR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:a4fb6cac-df52-5a17-95ce-87a13016870f
surface graphgrafik permukaanR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1807-1818

urn:uuid:a538b9ce-f61f-529c-9719-3b16f0d41685
countably infiniteterhitung tak hinggadenumerabel; tak berhingga terhitungtak hingga tercacahR006
Alasan dan bukti

Direct bilingual definition supersedes the earlier word order; canonicalized by LEBL-ID-DEC-0028.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 Definisi 1.10.1(i) printed p. 1.42 / PDF p. 42

urn:uuid:a5a4f6a8-a5b3-56e4-88cb-f8b108a361cc
tangent vectorvektor singgungR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:a5a8a5ee-d1e4-5bfd-864e-1422d8a62023
uniformly equicontinuousekuikontinu seragamekuikontinu secara seragamR006
Alasan dan bukti

Prefer concise adjective phrase ekuikontinu seragam in running prose

R006 ch-approximate.tex raw lines 2661-2738; Sufri Arzela-Ascoli field paper attests ekuikontinu; lane terminology uses kontinu seragam and konvergen seragam

urn:uuid:a5bed436-6db3-564c-84b8-610dd492228a
complex numberbilangan kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 5-54

urn:uuid:a64959da-05df-59d9-b0cd-8f7c9860bb80
diverges to infinitydivergen ke tak hinggaR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:a6927635-ffc8-58d5-b263-2db819574ccf
induction hypothesishipotesis induksiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:a6a66bae-6324-5b48-b045-5f12b923fbe4
fundamental theorem of algebrateorema dasar aljabarteorema fundamental aljabarR006
Alasan dan bukti

Preferred dasar follows the established R006 rendering teorema dasar kalkulus

R006 ch-approximate.tex raw lines 2263-2272

urn:uuid:a7506976-8443-5632-b8e6-883fe73046a1
non-strict inequalityketaksamaan tak ketatR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:a7ce8cd2-5dbf-5b94-aa96-e27b7990f8f7
proofpembuktianbuktiR006
Alasan dan bukti

Use pembuktian for the process and bukti for the resulting argument where context requires.

R006 ch-vol1-intro.tex

urn:uuid:a8785412-139f-5096-90c0-7b4405e4ec3c
sequence of functionsbarisan fungsiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1379-1380

urn:uuid:a8cced32-4282-5a26-a5ef-876778cd3fe6
attractoratraktorR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 2304-2354

urn:uuid:a8f812b2-3631-564c-8eaf-fd24eced36fe
disccakramR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:a915f692-a326-5e96-a8dd-e0925bf0b8eb
algebraic geometrygeometri aljabarR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:a95c40ab-45cf-5dcd-89fa-b253b616268c
mappingpemetaanpetaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:a9830a3d-9400-5dcf-b158-d12eef39f87e
spectral radiusradius spektralR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:a98cb44d-9deb-5223-94a5-0f2874610652
double sequencebarisan gandaR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1357-1359

urn:uuid:a9b33767-26df-5484-bf5a-cf1d3d16f6a2
minimum modulus principleprinsip modulus minimumprinsip minimum modulusR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2343-2349

urn:uuid:a9c1d462-2868-5be7-84f9-72b99c299628
imaginary partbagian imajinerR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 72-81

urn:uuid:a9de86e7-825b-5ccd-98f5-99847fe19121
standard basisbasis standarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:a9f9d98e-3e34-5f10-bb98-a462301e39a2
Riemann integral over rectanglesintegral Riemann pada persegi panjangR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:aa07f7aa-e4a0-599e-a481-82c09fe29f17
existence and uniqueness theoremteorema eksistensi dan ketunggalanR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:aa28376c-62a2-511f-b565-b7763dd42962
measure zeroberukuran nolukuran nolR006
Alasan dan bukti

R006 ch-multivar-int.tex; standard Indonesian measure-theory usage

urn:uuid:ab131bb4-8329-57e5-a9a4-a51c0a1d48d2
common partitionpartisi bersamaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:ab14c2a6-392b-52e8-b32e-4b57bd906acd
region of convergencedaerah konvergensiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1221-1227

urn:uuid:abe2fd9e-a300-5b5e-85f1-6c24fccc330e
Weierstrass approximation theoremteorema aproksimasi Weierstrassteorema pendekatan Weierstrass; teorema hampiran WeierstrassR006
Alasan dan bukti

Prefer the field-attested aproksimasi name while retaining established Indonesian variants

R006 ch-approximate.tex raw lines 3137-3390; ITB MA4031 bilingual curriculum maps the exact Indonesian phrase to Weierstrass Approximation Theorem; Aris et al. DOI 10.20956/jmsk.v11i2.3439 uses the same phrase

urn:uuid:abe690b3-bd87-50ef-a9ac-3c21f1c7e27c
real numbersbilangan realR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:ac2d74bd-26d9-5161-9c85-0c004e3d2759
linearly independentbebas linearR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:ac6f1c21-915f-5936-84f4-6ae0dd0029cd
inverse imageprapetacitra inversR006
Alasan dan bukti

Do not confuse the inverse image set with an inverse-function value.

R006 ch-vol1-intro.tex

urn:uuid:ac93c665-a826-5b7f-924c-d4d63e5092fe
periodicityperiodisitasR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2088-2091

urn:uuid:ac9cab1c-279d-549b-8202-4fdc0a609d47
convex hullselubung konveksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:acb7239d-3871-5c98-b89b-340f10bf7869
intermediate value propertysifat nilai antaraR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:acfc9fe4-42f5-5e53-ad93-af0ca4eb018e
surjectivesurjektifmemetakan padaR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:ad768599-5cc4-50f7-b363-45e13d15b90d
uniformly bounded derivativeturunan yang terbatas secara seragamR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:adc8a418-61f0-5b6d-a5b3-e0c305bc0ab5
decimal expansionekspansi desimalR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:ade3d68e-bced-5d90-a688-20fde4030fbe
Cantor diagonalizationdiagonalisasi CantorR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:adf72811-bb77-5680-9254-95b73b92e860
convex functionfungsi konveksR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:ae35a174-2524-5443-bffb-86b04ef9ed59
simply connectedterhubung sederhanaR006;R007
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex; R007 ch-nonlin-systems.tex raw lines 1950-1985

urn:uuid:ae546d23-506e-54ab-b9cf-4655fc68cfa7
speedkelajuanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:ae8a8fe0-65a9-5dcb-93c9-81d1b6fb6f1b
chaotic systemsistem kaotikR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 2155-2174

urn:uuid:af9c1bc0-f572-5cba-9eb4-90315890fe41
regular arcbusur regulerR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:afe38ab4-9679-587c-b392-55750e6b5a7d
curve of length zerokurva dengan panjang nolR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:b01c5195-5191-5a84-a670-5a8f113ba1dc
origintitik asalR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2153-2159

urn:uuid:b058b5b4-8ede-5929-bc04-89088211b0e4
Cauchy criterionkriteria CauchyR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:b0ccd608-94f8-5cf2-aa5e-dff1c9355e30
eigenfunctionfungsi eigenR006
Alasan dan bukti

Use for an eigenvector-like element in a vector space of functions

R006 ch-approximate.tex raw lines 4245-4258; source defines the function-space analogue of an eigenvector through scalar multiplication under differentiation

urn:uuid:b18b43ae-c04d-50e0-aad5-7e116ef6a10f
locally straightendiluruskan secara lokalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:b1e1eadc-0351-5f85-b31b-6ecbe2127fa5
traverse twicemenelusuri dua kaliR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:b1efd100-428d-5b4d-94c6-cc2862852813
matrix entryentri matriksunsur matriksR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:b20380de-6bf8-551e-b3c9-5bf691e3214d
least elementelemen terkecilminimumR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:b3a03aeb-34a1-5774-8187-f2dd501fa4cd
Tonelli for sumsTonelli untuk penjumlahanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:b3b2ea04-3b35-564e-9c01-ae432ebd9de9
inherited metricmetrik yang diwarisiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1377-1379

urn:uuid:b40b5578-7c66-51a5-9726-9778148ce771
entire functionfungsi penuhfungsi entire; fungsi menyeluruh; fungsi holomorfik pada seluruh CR008
Alasan dan bukti

Define once with the English source term in parentheses and use fungsi penuh thereafter

R008 ca.tex; UNEJ Analisis Kompleks physical pages 97 108 148 149 162 163 166 171 182 and 199

urn:uuid:b412e0b3-f5fd-5349-87af-4e8a838f8634
countably infinitetak berhingga yang terhitungR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:b418b08e-020a-5513-99dc-796a925d5de1
metricmetrikR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:b48442e9-d077-5705-8489-116977642a2c
continuous linear functionalfungsional linear kontinufungsional kontinu linearR006
Alasan dan bukti

Source says linear continuous function but the typed map from a function space to the scalar field is a functional

R006 ch-approximate.tex raw lines 4030-4036; standard Indonesian functional-analysis register

urn:uuid:b535dc41-7e1f-5a80-860d-e34a4d80f414
additivity of the integraladitivitas integralsifat aditif integralR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:b55a9bd4-617c-5c8b-948d-f17617cf22c8
for almost everyuntuk hampir setiapR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:b5925ea8-4c12-56b6-ba94-ac8323a7da4c
Cauchy--Schwarz inequalityketaksamaan Cauchy--SchwarzR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:b5eaea43-cc9f-5e66-81b9-bb1070abe1f9
strictly decreasingturun tegasR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:b64ca165-27c4-5166-88b4-3201801f1f82
diagonal argumentargumen diagonalR006
Alasan dan bukti

Keep distinct from Cantor diagonalization (diagonalisasi Cantor)

R006 ch-approximate.tex raw lines 2619-2659

urn:uuid:b64f20e9-095b-5afe-9b99-11974d53c58c
open intervalinterval terbukaR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:b6a01761-693b-5856-b021-4dbb0f3047d7
Cantor functionfungsi CantorR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:b6af38e4-15ed-54d9-afa6-b90d75c65063
hyperbolic cosinekosinus hiperbolikfungsi kosinus hiperbolikR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2192-2221

urn:uuid:b6c49db4-063a-5913-bdb8-66c35543edae
sinc functionfungsi sincR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:b7111016-aee6-5bea-9b58-35c20fae0dd5
oscillationosilasiR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:b7ad77d1-9f3a-5585-ac42-f4fd0fbd08cd
unbounded intervalinterval tak terbatasR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:b7f12eff-2916-5458-88e8-3d7060d9d693
sequences and seriesbarisan dan deretR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:b7f2d6fc-fc08-5ca5-8272-acb9f84cd012
Weierstrass M-testuji M Weierstrassuji-M WeierstrassR006
Alasan dan bukti

Retain the proper name and uppercase M; link to the established theorem reference thm:weiermtest

R006 ch-approximate.tex raw lines 4539-4566; the source invokes the named test for absolute and uniform convergence of the Fourier series

urn:uuid:b88c10d8-0333-5f2d-94e8-4eab2abfba49
Dirichlet functionfungsi DirichletR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:b8e81c21-2fe3-50f4-97d1-b49c9d9a1b4c
direct imagecitra langsungR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:b91fc043-fe80-53a0-9e9f-ad0cd86db4ed
intermediate value theoremteorema nilai antaraR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2080-2084; consistent with LEBL-TERM-0207

urn:uuid:b94fd178-0c70-51ed-99a0-4e044da1cfcb
Heaviside functionfungsi HeavisideR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:b9bb7da8-269d-59a1-9f17-d0cac57cffbd
supremumsupremumbatas atas terkecilR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:b9e4123d-a809-5e8e-b3a2-83c9728d0170
complex exponentialeksponensial kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1771-1861; QA terminologi Analisis Kompleks 2026-08-24

urn:uuid:b9e8a126-7fd9-5b1c-9767-330acd6a247d
exponential functionfungsi eksponensialR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:b9f68c56-ce05-5db7-b311-492e8a8b4d2c
algebraic numberbilangan aljabarR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:baa09916-ff17-5cac-9204-49692daf7d7b
finite-dimensionalberdimensi hinggaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:bb45275b-fa32-51ea-be5b-5ac3068be40a
function spaceruang fungsiR006
Alasan dan bukti

Use for a space whose elements are functions; keep distinct from the codomain of a single function

R006 ch-approximate.tex raw lines 4612-4711; the subsection treats integrable functions as vectors carrying an inner product

urn:uuid:bb63bbde-6cfc-5319-9965-eb4163e01504
polekutubpole; titik kutubR006
Alasan dan bukti

Field evidence also uses pole and titik kutub; prefer concise Indonesian kutub

R006 ch-approximate.tex raw lines 2488-2535

urn:uuid:bba4855c-6833-5519-9d26-ceeca6cd4999
complementkomplemenR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:bc48b1fd-2b09-5a74-bfc2-f9bc9cc0805d
Hermitian inner producthasil kali dalam HermitianR006
Alasan dan bukti

Preserve conjugation and the proper name Hermitian

R006 ch-approximate.tex raw lines 4612-4711; the complex-valued pairing explicitly conjugates the second argument

urn:uuid:bc541d30-5567-5233-923a-14f57cfbc069
Abel's theoremteorema AbelR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:bc81fe4b-57b7-5efc-a8c3-8695bcea7fc2
interiorbagian dalamR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:bcd59507-dfb1-5c98-b17c-f9d481a24949
curvekurvaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:bd84730f-da6e-5e00-a3b2-44010f3c30d4
Jacobian determinantdeterminan JacobianR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:bde83178-8af0-593e-bee3-3cf5b40ff562
Laplace equationpersamaan LaplaceR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:be1e42ff-7946-5df0-8cb0-049a2d4aa207
first derivativeturunan pertamaR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:be2ebf40-7007-5395-88a8-f02d83792c6d
closurepenutupanR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:be384ac0-ebb6-5c60-a314-3b37483758e0
orthogonal projectionproyeksi ortogonalR006
Alasan dan bukti

Preserve the geometric linear-algebra meaning in the function space

R006 ch-approximate.tex raw lines 4612-4711; Fourier coefficients are motivated by the finite-dimensional projection formula

urn:uuid:bf374298-baf5-5a88-9ac3-80dba9653552
clopen sethimpunan terbuka-tertutupR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:c09e7ba0-68ef-5da0-8aa7-c316765db63c
monic polynomialpolinom monikR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:c1c13935-c1bf-5735-b94f-c4e327d84a76
closed pathlintasan tertutupclosed trajectoryR006;R007
Alasan dan bukti

The R007 contextual source phrase closed trajectory maps to the same concept

R006 ch-one-dim-ints-sv.tex; R007 ch-nonlin-systems.tex

urn:uuid:c235f6b1-4879-5f66-9a0e-b957d374b607
fieldlapanganR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:c259d78d-0b93-5061-af07-7e3c245639a2
affine transformationtransformasi afinR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1336-1346

urn:uuid:c264ecab-ee88-503d-8338-0ab87ffc87ed
analytic functionfungsi analitikR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:c286de02-ac03-5eee-9844-a59c938f1a9b
order of summationurutan penjumlahanR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1477-1487

urn:uuid:c32ca9d1-69e5-52cd-b7d1-468d2cf1a64a
completenesskelengkapanR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:c3398e90-d3a5-5306-aafa-105483a35696
absolute minimumminimum mutlakR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:c3a94a17-a149-5e32-8c57-d2f41b4c7663
rangedaerah hasiljangkauanR006
Alasan dan bukti

Distinguish from codomain.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 10

urn:uuid:c44d7e50-bf63-5584-8f22-8179fc7989ee
line segmentruas garisR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:c462971b-49c5-57b5-88ec-78350e32edd3
corollaryakibatkorolariR006
Alasan dan bukti

R006 realanal.tex and ch-vol1-intro.tex

urn:uuid:c4cd9ba2-4d72-5f96-bf0f-317d3e9a82e9
converges to infinitykonvergen ke tak hinggaR006
Alasan dan bukti

The source explicitly identifies this wording as slightly incorrect in the present context

R006 ch-contfunc.tex

urn:uuid:c58e7c8d-d99f-5d57-b78c-4fadc4ef5d47
ratio test for seriesuji rasio untuk deretR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:c67e66a7-f9f4-5618-beb9-3eb13f2ac65c
bounded belowterbatas di bawahR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:c6a210aa-59bb-5a18-b969-98f41294cadb
tail of a sequenceekor barisanekor-KR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:c700e57f-a1de-50a2-9109-4e5c5100ace8
law of exponentshukum eksponenR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1828-1855

urn:uuid:c748d8b6-d3c2-57c0-998d-92d2d69eecd6
differentiable curvekurva diferensiabelR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:c7696154-d63e-5ba9-91e4-caffe532a8c9
domaindomainR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:c79b9456-735a-5d1f-9c0f-8be90f2011a0
rearrangement of a seriespenyusunan ulang deretR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:c7fdae53-2c8f-5499-914a-3899105c5820
Lebesgue numberbilangan LebesgueR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:c8010a22-9f9e-56a2-9dad-a8a51d52c6f9
simple closed pathlintasan tertutup sederhanaR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:c8ce2c6c-b55d-5440-8848-b5f3d165c8e1
C^k normnorma C^kR006
Alasan dan bukti

Parameterized norm controlling a function and its derivatives through order k; C^1 is the k equals 1 instance

R006 ch-approximate.tex raw lines 4141-4161; source names the C^1 and C^k norms and displays the derivative-sum criterion

urn:uuid:c94af28e-c85f-558c-94b1-04927997698a
nonnegativenonnegatiftaknegatifR006
Alasan dan bukti

R006 ch-real-nums.tex and ch-metric.tex

urn:uuid:c9788435-eb07-55b8-8a3f-94ec3b2dd88b
harmonic functionfungsi harmonikR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:c986f770-7f08-5622-9289-1279379e1d2e
limit inferiorlimit inferiorR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ca08308c-7fed-5c57-a4e9-cdaa078d8204
imaginary directionarah imajinerR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1802-1805

urn:uuid:cafd9472-7be6-52fd-9c22-862ab1f70e62
constant of motionkonstanta gerakR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 1479-1480

urn:uuid:cb2face0-2ea8-5efc-a912-8b46137af4d2
euclidean distancejarak EuklidesR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:cb3bbb37-8997-5c4e-b131-62c07406e498
inverse functionfungsi inversR006
Alasan dan bukti

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 pp. 1 and 11-13

urn:uuid:cb8f98c7-2e82-52c5-91b2-2ed81d3ee310
limit of a functionlimit fungsiR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:cc118cdd-9e0c-546d-bb27-bdc190508383
constructive proofbukti konstruktifR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:cd88d200-50c9-526b-a17d-4377eaa9f6f7
local behaviorperilaku lokalR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2268-2270

urn:uuid:cdb00097-6b60-563d-8292-2aa9c96f9ac4
cardinalitykardinalitaskardinalR006
Alasan dan bukti

Use kardinalitas for the property and kardinal when context denotes the cardinal number itself.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 1; Universitas Andalas mathematics notes

urn:uuid:cdc35435-579a-5c2a-9a32-6d897938460a
Fourier seriesderet FourierR006
Alasan dan bukti

General term for an expansion in trigonometric or complex-exponential modes; keep distinct from the cosine-only series in LEBL-TERM-0755

R006 ch-approximate.tex raw lines 4201-4241; established Indonesian modifier order already used in the admitted R006 reader and notation list

urn:uuid:ce2b814f-ff4e-5717-800d-517bdc20e518
proper subsethimpunan bagian sejatisubhimpunan sejatiR006
Alasan dan bukti

R006 ch-vol1-intro.tex and ch-real-nums.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 pp. 49 and 51

urn:uuid:ce398520-df1c-5fd9-99d7-90f40ee6353e
subsequencesubbarisansub barisan; barisan bagianR006
Alasan dan bukti

Retain the standardized closed form subbarisan; the field source attests both spaced sub barisan and barisan bagian as contextual variants.

R006 ch-seq-ser.tex; Usmadi, Analisis Real (Bahan Ajar), Universitas Muhammadiyah Sumatera Barat, 2020, PDF pp. 40 and 45

urn:uuid:cea6f57e-a1a3-563f-8271-74dd6f411071
strict relative maximummaksimum relatif ketatR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:cf43c711-acf1-511d-94be-d6167973cd34
real-analyticanalitik realR006
Alasan dan bukti

Use for a function represented locally by a real power series.

R006 ch-approximate.tex raw lines 1066-1071

urn:uuid:d0065df6-8bfc-5fb3-b10a-93d72f542fbd
type II domaindomain tipe IIR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:d00b2f50-c662-52f7-af67-2573f804ad06
rangedaerah hasiljangkauanR006
Alasan dan bukti

Distinguish from codomain.

R006 ch-vol1-intro.tex

urn:uuid:d010bd95-df75-576d-99d6-d81fb4cb33eb
change of variablespenggantian variabelR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:d05204ed-0928-5fac-8ae1-982d0f606d0e
lower boundbatas bawahR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:d0ae91ae-db10-5e82-b920-3d417f9b6609
open cubekubus terbukaR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:d0c2709f-054f-57fc-a0a9-feb7f4a1fe0e
path integral of a vector fieldintegral lintasan medan vektorR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:d19b921e-cb48-52c5-b5a1-3ba18f709352
normalizationnormalisasimenormalisasi; dinormalisasiR006
Alasan dan bukti

Use normalisasi for the unit-norm rescaling and retain the distinction between orthogonal and orthonormal systems

R006 ch-approximate.tex raw lines 5025-5096; the proof rescales the orthogonal sine and cosine systems to unit norm before applying Bessel

urn:uuid:d1aaa997-391a-55e6-b938-fd829c445210
Taylor polynomialpolinom TaylorR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:d23de1fd-2c42-5bb7-ade8-aa3d4fab3e6b
least-upper-bound propertysifat batas atas terkecilR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:d269167a-929b-53a0-a14e-721075d19470
Rolle's theoremteorema RolleR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:d3a9d861-cbd8-5c82-9bd3-67fde5796d39
Poincare lemmaLema PoincareR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:d3ecd176-43b7-5768-82e4-9f88bfa15f1f
radiusjari-jariR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2113-2116

urn:uuid:d51223f7-dbee-577f-9436-50f01c12b326
infinite limitlimit tak hinggaR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:d5138530-0f45-5092-8a28-6d3c620a8668
alternating series testuji deret berselang-selingR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:d59d77a6-f3b5-5769-8074-c13aac1499d1
binary relationrelasi binerR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:d59e6059-f5c1-58a1-94f6-dd2f20624711
limit cyclesiklus limitsiklus batasR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 1753-1828

urn:uuid:d5a2db4c-773e-5277-9e58-0daf33bed7e0
separates pointsmemisah titikmemisahkan titik-titikR006
Alasan dan bukti

Quantified family property: each distinct pair is distinguished by some family member

R006 ch-approximate.tex raw lines 3582-3600; Arta Ekayanti Generalisasi Teorema Aproksimasi Weierstrass in Fibonacci 4(2) directly attests memisah titik

urn:uuid:d5b870c4-c741-5462-8e8a-a713fe6cda04
linearity of the derivativelinearitas turunanR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:d5e3b366-71d1-58ce-ad5c-2d22cf6f20e0
power sethimpunan kuasaR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:d62d4732-de97-5c5c-9d8b-9e25887c7843
binarybinerR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:d642d6bd-2bc0-5ba5-a73d-b39b192c1d0e
first form of the fundamental theorembentuk pertama teorema dasar kalkulusR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:d64ca32a-58a9-59c4-ab89-7a305ec9c94c
graphgrafikR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:d657d74c-cbcf-5244-b5d8-46639ced0d19
differentiabilityketerdiferensialanR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:d6cba0c2-6dc0-5f35-816a-77608dd6ff3b
totally separatedterpisah totalR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:d72eeb04-a0f9-5bac-a65f-0919aa4105f6
antiderivativeantiturunanR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:d75b3481-153b-5481-9b2d-156a20d405ff
even permutationpermutasi genapR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:d77b6015-ecd1-5170-8626-cd655d8ce5db
modulusmodulusmodulus kompleksR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 89-92

urn:uuid:d7966418-d2ac-5346-b390-cb2cf2de9e87
powersperpangkatanR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2129-2138

urn:uuid:d7fb028a-8588-5d41-b3aa-3366a67a8b8b
smallest positive periodperiode positif terkecilR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1938-1945

urn:uuid:d81f7b8f-847e-5d73-9b17-7a243da3ee39
nullspaceruang nolkernelR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:d868d878-fedd-54ad-9750-ed89942a266f
rational numbersbilangan rasionalR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:d88ccbd9-18a3-54bc-bc80-634b37d7c320
u-substitutionsubstitusi uR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:d8aa1a0b-4605-5287-8343-670630f376c5
telescoping sumjumlah teleskopikR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:d8ada5c4-29d1-5086-b90d-a5a49ed829fe
injectiveinjektifsatu-ke-satuR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:d8bee69e-2232-5326-b3a2-fcb197e3c814
coordinate blockblok koordinatR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:d90f2a22-283f-57d8-bacb-4fb63823305a
path-independent integralintegral bebas lintasanintegral yang tidak bergantung pada lintasanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:d91037ba-8274-567f-8d5c-1872d073fbc5
continuously differentiable pathlintasan yang diferensiabel secara kontinuR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:d967dcf4-17f8-5748-a1b9-4828241c7481
infinity normnorma tak hinggaR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:da17ab24-5670-5b5b-b85b-f4d531e48814
compact rectanglepersegi panjang kompakR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:da518910-eef9-5e72-a45c-0537c5296b39
harmonic polynomialpolinom harmonikR006
Alasan dan bukti

Polynomial in z and conjugate z on S^1; keep distinct from harmonic function

R006 ch-approximate.tex raw lines 4056-4081; indexed source term for the unit-circle approximation exercise

urn:uuid:da55551f-014a-5a97-96b5-7b77ab740036
constant termsuku konstanR006
Alasan dan bukti

Use for the degree-zero term of a polynomial or power series

R006 ch-approximate.tex raw lines 3478-3480; established Indonesian algebra register

urn:uuid:da57bbd1-54b0-5c72-9f85-a7ad5a05affa
sequentially compactkompak secara sekuensialR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:db69dc55-9e8f-5da5-85b6-1abf3eff388b
real Stone--Weierstrass theoremteorema Stone--Weierstrass versi realteorema Stone--Weierstrass realR006
Alasan dan bukti

Keep distinct from the later complex version that requires conjugation closure

R006 ch-approximate.tex raw lines 3672-3710; theorem title and real-valued hypotheses in the frozen source

urn:uuid:dc105c12-8a3a-5c26-8356-43d5312d44af
removable discontinuitydiskontinuitas yang dapat dihilangkanR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:dc28c73e-c31f-5d8b-9306-4642b3cdba49
zero of a functiontitik nol fungsinol fungsiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1686-1691

urn:uuid:dc510bc4-31d3-50aa-aa51-556c5d811235
Laplace transformtransformasi LaplaceR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:dc834ae2-abbe-52bf-ab24-ba47706e56cf
second form of the fundamental theorembentuk kedua teorema dasar kalkulusR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:dc91cf5c-8093-56ac-83aa-ff9410b0e976
Cauchy condensation principleprinsip kondensasi CauchyR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:dce1451f-1e8d-5ab7-871a-30a00e858c1f
separable equationpersamaan diferensial separabelpersamaan separabel; persamaan diferensial peubah terpisahpersamaan terpisahkanR007
Alasan dan bukti

Use the full term in headings and persamaan separabel in compact prose

R007 ch-first-order-ode.tex; UNEJ PDB physical pages 32 and 37; SPADA course 3062 module 65517

urn:uuid:dd01d77b-d8e2-5e21-86bc-bc52ba03df8f
annulusanulusgelangR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:dd0910d0-8493-555c-b130-a296b93e0f41
L2 convergencekonvergensi L^2konvergen dalam pengertian L^2R006
Alasan dan bukti

Use dalam pengertian L^2 in reader prose and do not imply pointwise or uniform convergence

R006 ch-approximate.tex raw lines 5132-5185; convergence is measured by the integral squared-modulus seminorm quantity

urn:uuid:dd6ce676-c2b3-5f0c-8ca2-739b1ae3bb95
globally invertibleinvertibel secara globalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:dd876fda-617c-5c73-98b1-b41117fdb895
minimumminimumR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:de2b62cb-8d55-5d21-8d8d-9be765faeab0
out-and-back pathlintasan pergi-pulangR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:de8d087b-eb8d-5a68-80f6-81ab10749e88
geometric seriesderet geometriR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ded45a68-f285-5b60-a22c-5fb7b60dd890
infinite-dimensionalberdimensi tak hinggaR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:df07d93c-9a9b-53e9-9873-d04233420181
Fourier cosine seriesderet kosinus FourierR006
Alasan dan bukti

Distinguish the function's own Fourier cosine series from arbitrary finite cosine-polynomial approximants

R006 ch-approximate.tex raw lines 3886-3908; standard Indonesian modifier order consistent with the admitted Fourier cosine transform term

urn:uuid:df2e4cc5-fa3f-59c6-a3e1-51c9cb053926
bilinearbilinearR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:df94c782-e62f-58cd-b928-91f4738cc655
compactnesskekompakanR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:e0063d3c-6672-52aa-a930-dd102a4e8963
surjectivesurjektifmemetakan padaR006
Alasan dan bukti

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 11

urn:uuid:e0426dcc-f406-58f3-958e-dc8849f8138f
real axissumbu realR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 30-32

urn:uuid:e0c7c628-4301-5232-96dd-20e3f550837c
strictly increasing sequence of natural numbersbarisan bilangan asli yang naik secara ketatR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:e202d43a-2ccf-5147-8a65-f53201f191f7
theoremteoremaR006
Alasan dan bukti

R006 realanal.tex and ch-vol1-intro.tex

urn:uuid:e206e8b5-126b-5ab6-8d9d-ae609b5ca152
closed formbentuk tertutupekspresi bentuk tertutupR007
Alasan dan bukti

Use bentuk tertutup; preserve the source-local definition and do not imply a universal formal boundary for allowable functions

R007 ch-first-order-ode.tex raw lines 89-98; the source defines it locally as a formula in known functions with no integrals or limits and the wording matches established R006 and R007 usage

urn:uuid:e20fe1db-bc51-51ff-a746-45f3da82e819
closed cubekubus tertutupR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:e2386e59-014d-5641-a02e-24f6ff6f25a2
Euler's methodmetode EulerR006;R007
Alasan dan bukti

Field-attested numerical ordinary-differential-equation term

R006 ch-approximate.tex raw lines 3066-3132; ITB numerical differential-equation course MA3232 and Indonesian mathematics sources attest Metode Euler

urn:uuid:e29da13b-ab87-5401-ab34-44248ee64128
proper subsethimpunan bagian sejatisubhimpunan sejatiR006
Alasan dan bukti

R006 ch-vol1-intro.tex and ch-real-nums.tex

urn:uuid:e2c16edf-f5f6-51aa-8f64-bc674428af90
countable intersectionirisan terhitungR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:e3dd92bf-036a-5c59-957a-24d8f3533c47
rate of decaylaju peluruhanlaju penurunanR006
Alasan dan bukti

Here decay refers to coefficient magnitude as the integer frequency tends to infinity

R006 ch-approximate.tex raw lines 4539-4566; the source measures how rapidly Fourier coefficients approach zero

urn:uuid:e3e6c427-93f9-5fc5-a634-7a9d3f396699
well ordering propertysifat urutan baikR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:e43077d8-2ed2-566b-8506-9802c0318b67
ordinary differential equationpersamaan diferensial biasaR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:e4c11169-e747-50f7-a84e-f28df16cee7b
degree of a polynomialderajat polinomR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2383-2431

urn:uuid:e4e49d4d-35c0-553d-8760-a0a18136c976
vector fieldmedan vektorR006;R007
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex; R007 ch-nonlin-systems.tex raw lines 70-104

urn:uuid:e4fcd84c-198f-5bb3-b200-8b04f6fdf3d5
linear transformationtransformasi linearpemetaan linearR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:e5087044-e311-58a9-9518-e6260d08f6d2
upper boundbatas atasR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:e65809ab-3aa5-56c5-ac89-45ff1ba2e020
transpositiontransposisipertukaran dua unsurR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:e689d7fb-5d95-563f-97df-47a0c760070f
upper integralintegral atasintegral Darboux atasR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:e6abf695-59af-5fec-97cc-da3315819818
bounded domain with piecewise smooth boundarydomain terbatas dengan batas mulus sepotong-sepotongR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:e6b2cdc7-6223-59e8-85f9-626378c996de
diagonalizable matrixmatriks yang dapat didiagonalisasiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:e7119ce5-3f28-57ce-a720-768aeda10771
uniform convergence on compact subsetskonvergensi seragam pada subhimpunan kompakR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:e7324109-cba3-5439-b151-f70145bec42c
nondecreasingtak menurunR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:e758b407-815a-5379-a57a-dd0afd8ce4f5
scalar multiplicationperkalian skalarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:e7c1c39a-194d-5331-8593-3fe3d2bddff1
multivariable integralintegral multivariabelR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:e7cb203a-955e-5759-97b6-82fe0522656e
Darboux integralintegral DarbouxR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:e7ed287f-ba7e-5b9f-9c90-cb4c2d7e5294
type I domaindomain tipe IR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:e7f2cde4-22f6-57d0-ae9a-cedf70e99ab0
improper integralintegral tak wajarR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:e87ae62e-301f-5e1e-a6a3-70dec0f1c4e8
integrating factorfaktor integrasifaktor integralfaktor pengintegrasiR006;R007
Alasan dan bukti

Use faktor integrasi consistently across analysis and ODE

R006 ch-seq-funcs.tex; R007 ch-first-order-ode.tex; UNEJ PDB physical pages 32 and 39

urn:uuid:e888ec21-56e8-5011-beec-7992c5ca0450
highest-degree termsuku berderajat tertinggisuku pangkat tertinggiR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2420-2431

urn:uuid:e89d67cf-a378-5bcb-b667-9d5cd2bd4525
Taylor's theorem for real-analytic functionsTeorema Taylor untuk fungsi analitik realR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1428-1442

urn:uuid:e8a30369-75bc-5d21-beaf-8f18d110420b
L2 normnorma L^2norma-2R006
Alasan dan bukti

Prefer norma L^2 in this functional-analysis context; do not collapse it into the finite-dimensional norma-2 variant

R006 ch-approximate.tex raw lines 4612-4711; defined by the integral of the squared complex modulus

urn:uuid:e9aa65da-21aa-58ed-b838-72a669710d84
1-normnorma-1norma L1R006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:e9c85d27-cd9c-5926-9ec8-de58c4e2555e
Euler's formularumus EulerR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1883-1950

urn:uuid:ea2e9871-4d74-567e-85c0-471ae39ad892
absolute convergencekonvergensi mutlakkonvergen mutlakR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ea88b33d-4fea-5904-a410-11728846337d
implicit function theoremteorema fungsi implisitR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:eab56957-f5bf-54c3-922f-e07de9cafd31
elementary matrixmatriks elementerR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:eae52a1b-c601-5ce1-a2fa-be9ef79a3623
functionfungsiR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:eb13bce5-ecb6-5466-ba64-550131802180
Mertens' theoremteorema MertensR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:eb4b91a8-38a6-56f0-aff1-aa2f2e7df284
Darboux's theoremteorema DarbouxR006
Alasan dan bukti

R006 ch-der.tex

urn:uuid:eb840cd5-2861-5497-80b8-25c70685c950
diagonal matrixmatriks diagonalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:eb8a3b33-588a-5145-a090-52d5c6c8af5b
vortex vector fieldmedan vektor pusaranR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:eba720bc-ae0d-5ab8-a2dc-16fee5f63d31
Cantor sethimpunan CantorR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:ebab70a7-298b-553f-b7c8-f4e9813ea745
Riemann zeta functionfungsi zeta RiemannR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ec0e8dde-a4a7-577c-b770-f68cc1d685da
Archimedean propertySifat Archimedessifat ArchimedeanR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:ec769dfb-c336-5f39-b5f7-f12da62d878f
mixed partial derivativeturunan parsial campuranR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:eca618fa-c86f-5773-8717-f04e4acb97dc
squeeze lemmalemma apitR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ecbf6e3b-d2a4-516b-a192-4a586d31f09c
monotone decreasing sequencebarisan monoton turunR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ecee1044-cd72-568a-9beb-0644abd1adef
taxicab distancejarak taksiR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:ed1d3fb2-4783-5ea8-a5d2-ea13c2956306
termsukuR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:ed1d652c-0d2c-555a-adb5-5fa817417dab
unit circlelingkaran satuanR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:edd988c1-bffd-5f83-9bb1-c1331df26869
scalar-valued functionfungsi bernilai skalarR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:ee2432d4-9ad7-50bb-8b5a-6005569316e1
punctured planebidang berlubangR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:ee6e8aa2-9078-588a-885a-5cfc5d76af41
sethimpunanR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:eede27e8-e1bb-5b54-83b1-2239bd102307
boundarybatasR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:ef686a49-e6ca-51b6-ba8b-bc518284c95a
parametrizationparametrisasiR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:ef9db7ee-2c3d-579a-9bae-cd1584017082
total derivativeturunan totalR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:f0ade7e7-cb84-50f1-b1a8-f4a965fc54bc
identity theoremteorema identitasR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 1587-1594; established translation usage in ch-seq-funcs.tex

urn:uuid:f0fe386a-2c5b-58db-9467-e95ed6a15eb9
Stone--Weierstrass theoremteorema Stone--Weierstrassteorema Stone WeierstrassR006
Alasan dan bukti

Retain the source double-hyphen spelling in TeX and use the en-dash form in prose metadata where supported

R006 ch-approximate.tex raw lines 3137-3390; UNY Teorema Stone-Weierstrass thesis and research report directly attest the Indonesian theorem name

urn:uuid:f11761b6-2676-52d0-a75e-5806e967c503
dot producthasil kali titikproduk titikR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:f1281f63-da28-50c3-a446-7e461e09bfba
supporttumpuandukunganR006
Alasan dan bukti

Use tumpuan in the current multivariable chapter; dukungan remains an attested variant

R006 ch-multivar-int.tex; Indonesian mathematical usage surveyed in university publications

urn:uuid:f15cfccb-0b97-517e-8c68-d7b801997318
reflexiverefleksifR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:f176a00d-5f04-55b6-bc82-81c682afe251
linearizationlinearisasiR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 160-248

urn:uuid:f178406d-45a7-5e1e-a4b4-2a95851bc4b6
bounded sequencebarisan terbatasR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:f1d48312-ddd4-5e6c-ad0a-aaeac4a96fa1
transcendental numberbilangan transendenR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:f2111e98-bc6e-5aa3-9ee5-cfa374655276
Dedekind cutpotongan DedekindR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:f22b414a-ac31-5713-8d6a-c137871a9148
delta functionfungsi deltadelta Dirac; fungsi delta DiracR006
Alasan dan bukti

Preserve the source's informal scope and do not imply that delta is an ordinary function

R006 ch-approximate.tex raw lines 4946-4980; the source explicitly treats delta only heuristically and does not define distributions

urn:uuid:f23348ae-6156-5505-89a5-0eeb0a1f619e
fixed pointtitik tetapR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:f265e996-6c1f-55c8-8182-ff495125732b
longest sidesisi terpanjangR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:f28b5648-cb52-5ea8-b504-247b8d975002
Cauchy--Schwarz inequalityketaksamaan Cauchy--SchwarzR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:f2f7f88b-df96-5c80-bba1-e3dad387a798
continuously differentiablediferensiabel secara kontinuR006;R007
Alasan dan bukti

R006 ch-der.tex; R007 ch-nonlin-systems.tex raw lines 1950-1985

urn:uuid:f358af92-b698-52ab-a9bc-9b49cb307142
mean value propertysifat nilai rata-rataR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:f39d4dc7-da46-50d0-8a85-560abf6eb1be
metric spaceruang metrikR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:f3f961f7-7678-5471-afd3-2ca25a47ebc6
secant linegaris sekanR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:f41acb51-384e-5485-8787-726bd43dcbdd
vertical tangencytitik tempat garis singgungnya vertikalgaris singgung vertikalR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:f42e619f-982e-5229-8e65-c50a44c632e2
figure-eight curvekurva berbentuk angka delapankurva angka delapanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:f4440941-9edd-51b4-8438-8c326b3a0b2c
operator normnorma operatorR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:f4d012d6-0e83-5857-86e4-66a62d79af28
initial conditionkondisi awalsyarat awalR007
Alasan dan bukti

R007 lane convention aligned with the admitted first-order chapter; this is not a general rejection outside R007

R007 ch-nonlin-systems.tex raw lines 550-654 and 2155-2174

urn:uuid:f4d53504-6691-5fcc-8bab-f6f3811eb809
Riemann integrableterintegralkan secara Riemannterintegralkan RiemannR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:f526bd6f-c422-5dd3-a70d-68d6c5082964
Dirichlet kernelkernel Dirichletinti DirichletR006
Alasan dan bukti

Use the attested loanword kernel for this named convolution kernel; keep it distinct from ruang nol for a linear-map kernel

R006 ch-approximate.tex raw lines 4852-4980; Indonesian Fourier-analysis theses and teaching texts attest kernel Dirichlet as the field-facing form

urn:uuid:f5326335-f887-5404-8c81-011dfca00be6
path independenceketaktergantungan pada lintasanintegral tidak bergantung pada lintasanR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:f54ab88f-ed1b-5208-adb7-2e0621391d09
slope fieldmedan kemiringanR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:f5f08ad9-8884-577a-94a9-e723a9c610cd
pole at infinitykutub di tak hinggakutub pada tak hinggaR006
Alasan dan bukti

R006 ch-approximate.tex raw lines 2493-2535

urn:uuid:f63006d2-2ae8-5051-a0bf-2dcb4d3403ba
trigonometric Fourier seriesderet Fourier trigonometrideret Fourier trigonometrikR006
Alasan dan bukti

Use natural Indonesian modifier order and keep this general trigonometric family distinct from the cosine-only series

R006 ch-approximate.tex raw lines 4852-4897; the subsection returns from abstract orthonormal systems to the complex-exponential trigonometric Fourier family

urn:uuid:f66d1b94-28e5-5ddf-9ec6-2ea066c9d3e1
linear operatoroperator linearR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:f67786ad-a4a0-5cd0-8e01-cde1cede36f8
removable singularitysingularitas yang dapat dihilangkanR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:f6e2ce03-8d07-52a6-bb9d-faccb9496967
integrandintegranR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:f75708d6-eb0e-5fa7-81d7-44d809af6d40
Cauchy completelengkap secara CauchyR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:f768cfd5-2580-5cbc-b11c-2762f92aa1ee
divergencedivergensiR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 1950-1985

urn:uuid:f7a7ed52-52ac-50a3-9c98-5cc8f1894805
tail of a seriesekor deretR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:f7e1031b-500a-52b7-8d1e-be5ac81b9d8b
minimal partitionpartisi minimalR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:f807c9da-a0bf-500a-b744-1c65489aec2a
finiteberhinggaR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:f84051bd-74d3-5487-ac06-94d17e742c22
conditional convergencekonvergensi bersyaratkonvergen bersyaratR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:f84f6d32-2d81-59c3-8b11-5fa306720847
phase planebidang faseR007
Alasan dan bukti

R007 ch-nonlin-systems.tex raw lines 70-104

urn:uuid:f8a90e2d-d647-5876-b3e5-f5b4a3cb5f82
countableterhitungtercacahR006
Alasan dan bukti

Canonicalized by LEBL-ID-DEC-0016.

R006 ch-vol1-intro.tex and Indonesian university analysis sources

urn:uuid:f95e81cb-5dbd-5b5a-8db0-76ace7358a9b
positivepositifR006
Alasan dan bukti

R006 ch-real-nums.tex

urn:uuid:f9c77ee3-846d-5d96-830b-699d354700ac
minimal subcoversubselimut minimalsubselimut hingga minimalR006
Alasan dan bukti

R006 ch-multivar-int.tex

urn:uuid:f9ff7840-e78c-50bf-b639-097833e3a1c3
subspace topologytopologi subruangR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:fa015717-fef7-5e17-b2a1-49b640b7fa7f
limit of a function at infinitylimit fungsi di tak hinggalimit di tak hinggaR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:fa3bc3d0-5e23-5a82-87d8-1e0a82310b4d
uniform normnorma seragamR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:fa936be9-fc39-5532-b98d-7787fa9b8196
linearity of serieslinearitas deretR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:fb381a4a-e1c9-5814-ba76-908a4655b52a
standard metricmetrik standarR006
Alasan dan bukti

R006 ch-metric.tex

urn:uuid:fb42279e-b613-59ef-ac7a-1563e6f7bb40
maximum principleprinsip maksimumR006
Alasan dan bukti

Scope is analytic functions; keep distinct from the harmonic maximum-principle concept

R006 ch-approximate.tex raw lines 2347-2367

urn:uuid:fb6ea038-6ef1-54c2-9fda-7f115f1abff5
Fourier cosine transformtransformasi kosinus FourierR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:fc7f9acc-8f6e-5c7b-b885-7fc795504abc
one-formbentuk-1bentuk diferensial derajat satuR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:fce5534e-775e-57b4-8661-6c8ca319a7de
uncountabletak terhitungtak tercacahR006
Alasan dan bukti

Canonicalized by LEBL-ID-DEC-0016.

R006 ch-vol1-intro.tex and Indonesian university analysis sources

urn:uuid:fcf2e275-f1b6-58d9-aee6-6cde2fee0613
partitionpartisiR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:fd147966-89ed-50a9-8570-ce776273ebcb
monotonicity of the integralkemonotonan integralR006
Alasan dan bukti

R006 ch-riemann.tex

urn:uuid:fd90bd0b-063d-5b3c-9639-a90ac7c10deb
preserve orientationmempertahankan orientasiR006
Alasan dan bukti

R006 ch-one-dim-ints-sv.tex

urn:uuid:fd9e73c5-8616-5b77-93e2-3a790d1599ac
strict inequalityketaksamaan ketatR006
Alasan dan bukti

R006 ch-seq-ser.tex

urn:uuid:fe46ff56-bf4f-54ae-8efc-8bac343054cf
uncountabletak terhitungtak tercacahR006
Alasan dan bukti

Canonicalized by LEBL-ID-DEC-0016 and reconfirmed by the 2026-08-22 field-usage QA.

R006 ch-vol1-intro.tex; Universitas Terbuka MATA4217 Edisi 2 Modul 1 p. 1; Indonesian university analysis sources

urn:uuid:fed35757-0f71-5567-aed1-af63d61e9243
Thomae functionfungsi ThomaeR006
Alasan dan bukti

R006 ch-contfunc.tex

urn:uuid:fed53c64-e26d-591f-9d9f-5b4d97f6bffa
orthogonal systemsistem ortogonalR006
Alasan dan bukti

Unlike an orthonormal system the individual norms need not equal one

R006 ch-approximate.tex raw lines 4612-4711; the relaxed definition requires only zero cross-inner-products

urn:uuid:ff609161-6a95-5488-901c-433d6953cd83
countable dense subsetsubhimpunan rapat yang terhitunghimpunan bagian rapat yang terhitung; himpunan padat terhitungR006
Alasan dan bukti

Prefer the existing R006 topological register rapat over the attested padat variant

R006 ch-approximate.tex raw lines 2740-2762; existing R006 ch-metric.tex exercise usage

urn:uuid:ff6f561d-3e34-56fb-ae24-83a441d11b2c
set-theoretic functionfungsi dalam teori himpunanR006
Alasan dan bukti

R006 ch-vol1-intro.tex

urn:uuid:ff87641e-6833-55f6-bf32-9b4a81e92b47
Jacobian matrixmatriks JacobianR006
Alasan dan bukti

R006 ch-several-vars-ders.tex

urn:uuid:ff921163-a50f-5687-96cb-aac7c3fe6c99
uniformly CauchyCauchy secara seragamR006
Alasan dan bukti

R006 ch-seq-funcs.tex

urn:uuid:ffac3ea6-1564-51f3-b6c9-ebb88ecf6310
compact operatoroperator kompakR006
Alasan dan bukti

Field-attested canonical Indonesian functional-analysis term

R006 ch-approximate.tex raw lines 2915-2945; ITB MA6131 bilingual course maps Compact Operator to Operator Kompak and Indonesian mathematical journals use the same term

urn:uuid:ffbfa60f-13cc-5d11-ad65-504d75577630