himpunan
set
Status: approved · Core term
O003-T001C90 · Register istilah
299 keputusan istilah dipertahankan: 298 disetujui dan satu provisional. Status provisional bukan persetujuan diam-diam.
subhimpunan
subset
Status: approved · Himpunan bagian is an accepted introductory alias attested in Indonesian teaching sources; use proper subset only when the source means strict inclusion
O003-T002gabungan
union
Status: approved · Set operation
O003-T003irisan
intersection
Status: approved · Set operation
O003-T004komplemen
complement
Status: approved · Relative to the stated universal set
O003-T005hasil kali Kartesius
Cartesian product
Status: approved · Capitalize Kartesius
O003-T006interval
interval
Status: approved · Standard Indonesian mathematical loanword
O003-T007interval terbuka
open interval
Status: approved · Do not anticipate topological openness where the source is purely order notation
O003-T008interval tertutup
closed interval
Status: approved · Do not conflate with closed set before introduced
O003-T009topologi
topology
Status: approved · Core term
O003-T010ruang topologi
topological space
Status: approved · Preferred field form in the inspected ITB Universitas Terbuka and UNDIP teaching witnesses; ruang topologis remains intelligible but is not the house term
O003-T011ruang metrik
metric space
Status: approved · Core term
O003-T012lingkungan
neighborhood
Status: approved · Established consistently in the substantive Chapter 7 metric-space unit; do not imply the neighborhood itself must be open
O003-T013tutupan
closure
Status: approved · Topological closure of a set; keep distinct from himpunan tertutup and from ordinary-process penutupan
O003-T014keterhubungan
connectedness
Status: provisional · Recheck against later chapter context
O003-T015fungsi
function
Status: approved · Core Chapter 2 term
O003-T016domain
domain
Status: approved · Use domain consistently; explain daerah asal only if pedagogically useful
O003-T017kodomain
codomain
Status: approved · Keep distinct from range
O003-T018daerah hasil
range
Status: approved · Never collapse into codomain
O003-T019citra
image
Status: approved · For the image of an element or subset under a function; UNDIP Ruang Topologi Fuzzy attests the untranslated variant image but the edition retains the natural Indonesian house term
O003-T020prapeta
preimage; inverse image
Status: approved · Prefer prapeta for a subset under a function and reserve invers for inverse functions; UNDIP Ruang Topologi Fuzzy attests the untranslated variant preimage
O003-T021injeksi; injektif
injection; injective
Status: approved · Use the noun/adjective forms according to grammar
O003-T022surjeksi; surjektif
surjection; surjective
Status: approved · Use the noun/adjective forms according to grammar
O003-T023bijeksi; bijektif
bijection; bijective
Status: approved · Use the noun/adjective forms according to grammar
O003-T024komposisi; komposit
composition; composite
Status: approved · Use komposisi fungsi for the operation
O003-T025fungsi invers
inverse function
Status: approved · Keep distinct from prapeta
O003-T026pembatasan
restriction
Status: approved · Function restricted to a smaller domain
O003-T027perluasan
extension
Status: approved · Function extended to a larger domain
O003-T028fungsi identitas
identity function
Status: approved · Core Chapter 2 term
O003-T029pasangan terurut
ordered pair
Status: approved · Use for graph-of-function pairs
O003-T030invertibel
invertible
Status: approved · Property of a function admitting an inverse function
O003-T031kardinalitas
cardinality
Status: approved · Size of a finite or infinite set
O003-T032himpunan berhingga
finite set
Status: approved · Chapter 2 cardinality term
O003-T033himpunan tak berhingga
infinite set
Status: approved · Chapter 2 cardinality term
O003-T034himpunan indeks
index set
Status: approved · Parameter set for an indexed family
O003-T035keluarga terindeks
indexed family
Status: approved · Prefer explicit diindeks oleh wording in prose
O003-T036unsur
element
Status: approved · Default formal term; the UT Module 1 indexed opening attests elemen as an accepted synonym which may remain in natural cardinality and basis collocations while anggota remains appropriate for membership statements
O003-T037contoh tandingan
counterexample
Status: approved · Avoid contoh penyangkal
O003-T038metrik Euklides
Euclidean metric
Status: approved · Capitalize Euklides
O003-T039metrik taksi
taxicab metric
Status: approved · Use consistently for d_T
O003-T040metrik maksimum
max metric
Status: approved · Use consistently for d_M
O003-T041metrik diskret
discrete metric
Status: approved · Use consistently for the zero-one metric
O003-T042definit positif
positive definite
Status: approved · Metric property
O003-T043simetris
symmetric
Status: approved · Metric property
O003-T044pertidaksamaan segitiga
triangle inequality
Status: approved · Prefer pertidaksamaan over ketaksamaan in this edition
O003-T045bola terbuka
open ball
Status: approved · Bola buka is an attested Indonesian alias; retain the edition's adjective form consistently
O003-T046lingkaran satuan
unit circle
Status: approved · Set of points at distance one from the origin
O003-T047Pertidaksamaan Cauchy-Schwarz
Cauchy-Schwarz inequality
Status: approved · Capitalize in the named result
O003-T048cekung
concave
Status: approved · Real-analysis term used in Chapter 3 exercises
O003-T049graf
graph
Status: approved · Use graph only in protected code or source identifiers
O003-T050simpul
vertex
Status: approved · Graph-theory term
O003-T051sisi
edge
Status: approved · Graph-theory term
O003-T052lintasan terpendek
shortest path
Status: approved · Weighted-graph metric term
O003-T053metrik Hamming
Hamming metric
Status: approved · Named coding-theory metric
O003-T054jarak Hamming
Hamming distance
Status: approved · Distance value induced by the Hamming metric
O003-T055sistem biner
binary system
Status: approved · Digital-coding term
O003-T056kata
word (coding theory)
Status: approved · An element of X^n in the coding-theory context
O003-T057kode
code
Status: approved · A designated subset of words
O003-T058kata kode
code word
Status: approved · An admissible word belonging to a code
O003-T059pengodean
encoding
Status: approved · Digital-message operation
O003-T060pendekodean
decoding
Status: approved · Recovery of a message from its encoded or received form
O003-T061galat
error
Status: approved · Use for transmission and mathematical errors; retain salah only for ordinary misspelling
O003-T062untai
string
Status: approved · Computer-science and finite-alphabet term; introduce context explicitly
O003-T063alfabet
alphabet
Status: approved · Fixed set of allowable symbols
O003-T064penghapusan
deletion
Status: approved · Levenshtein edit operation
O003-T065penyisipan
insertion
Status: approved · Levenshtein edit operation
O003-T066substitusi
substitution
Status: approved · Levenshtein edit operation
O003-T067metrik Levenshtein
Levenshtein metric
Status: approved · Named edit-distance metric
O003-T068jarak Levenshtein
Levenshtein distance
Status: approved · Minimum number of permitted edits
O003-T069pemeriksa ejaan
spell checker
Status: approved · Application of edit distance
O003-T070pengenalan wicara
speech recognition
Status: approved · Application of edit distance
O003-T071untai DNA
DNA strand
Status: approved · Biological string-model term
O003-T072batas bawah
lower bound
Status: approved · Order-theoretic term for subsets of the reals
O003-T073terbatas di bawah
bounded below
Status: approved · Property of a set having a lower bound
O003-T074batas bawah terbesar
greatest lower bound
Status: approved · Use alongside infimum at first introduction
O003-T075infimum
infimum
Status: approved · Standard Indonesian mathematical loanword
O003-T076batas atas
upper bound
Status: approved · Order-theoretic dual of lower bound
O003-T077terbatas di atas
bounded above
Status: approved · Property of a set having an upper bound
O003-T078batas atas terkecil
least upper bound
Status: approved · Use alongside supremum at first introduction
O003-T079supremum
supremum
Status: approved · Standard Indonesian mathematical loanword
O003-T080aksioma kelengkapan
completeness axiom
Status: approved · Completeness property of the real number system
O003-T081jarak dari titik ke himpunan
distance from a point to a set
Status: approved · Point-to-set distance defined by an infimum
O003-T082terbatas
bounded
Status: approved · For a real subset bounded above and below
O003-T083rapat
dense
Status: approved · Topological density term
O003-T084sifat Archimedes
Archimedean property
Status: approved · Standard Indonesian name for the real-number property
O003-T085Prinsip Pengurutan Baik
Well-Ordering Principle
Status: approved · Capitalize as the named principle
O003-T086metrik supremum
supremum metric
Status: approved · Metric on continuous functions over a compact interval
O003-T087metrik seragam
uniform metric
Status: approved · Alternative name for the supremum metric
O003-T088bilangan rasional
rational number
Status: approved · Number-system term
O003-T089bilangan irasional
irrational number
Status: approved · Number-system term
O003-T090bilangan asli
natural number
Status: approved · Positive integers in the source convention
O003-T091bilangan bulat positif
positive integer
Status: approved · Explicitly distinguishes from nonnegative integers
O003-T092fungsi kontinu
continuous function
Status: approved · Standard Indonesian mathematical term also attested in both inspected UNDIP topology catalog witnesses
O003-T093kekontinuan
continuity
Status: approved · Property of being continuous; kontinuitas is attested but is not the edition's nominal house term
O003-T094kontinu di suatu titik
continuous at a point
Status: approved · Use in epsilon-delta definitions
O003-T095definisi epsilon-delta
epsilon-delta definition
Status: approved · Use ASCII names in prose and preserve Greek symbols in mathematics
O003-T096Teorema Nilai Antara
Intermediate Value Theorem
Status: approved · Capitalize as the named theorem
O003-T097himpunan terbuka
open set
Status: approved · Himpunan buka is an attested Indonesian alias; retain the edition's adjective form consistently
O003-T098jari-jari
radius
Status: approved · Open-ball radius
O003-T099berpusat di
centered at
Status: approved · Use for balls and metric diagrams
O003-T100graf berbobot
weighted graph
Status: approved · Finite graph carrying positive edge weights
O003-T101himpunan indeks
indexing set
Status: approved · Index family terminology
O003-T102pemetaan terbuka
open map
Status: approved · Map that sends every open set to an open set
O003-T103interior; interior suatu himpunan
interior; interior of a set
Status: approved · Set of all interior points; keep distinct from closure
O003-T104titik interior
interior point
Status: approved · A point for which the containing set is a neighborhood
O003-T105fungsi afin; pemetaan afin
affine function; affine map
Status: approved · Use for x maps to ax plus b when b is arbitrary; reserve fungsi linear for b equal to zero over the reals
O003-T106basis
basis for open sets
Status: approved · Family of open balls or other generators whose unions give the open sets
O003-T107gabungan sebarang
arbitrary union
Status: approved · Topology closure property with no finiteness restriction on the indexed family
O003-T108irisan sebarang
arbitrary intersection
Status: approved · Need not preserve openness
O003-T109irisan berhingga
finite intersection
Status: approved · Preserves openness
O003-T110pernyataan bikondisional
biconditional statement
Status: approved · Statement whose forward and reverse implications must both be proved
O003-T111inklusi sebaliknya
reverse containment; reverse inclusion
Status: approved · Proof terminology for the opposite set inclusion
O003-T112barisan
sequence
Status: approved · Use for functions from the positive integers into a space
O003-T113suku barisan
term of a sequence
Status: approved · Individual value indexed by n
O003-T114konvergen ke
converges to
Status: approved · Relational wording for a sequence and its limit
O003-T115divergen
divergent
Status: approved · Use when a sequence has no limit in the stated metric space
O003-T116konvergensi titik demi titik
pointwise convergence
Status: approved · Function-sequence convergence evaluated separately at each input; konvergen per titik is an attested relational alias
O003-T117pada akhirnya konstan
eventually constant
Status: approved · All terms equal one fixed value beyond some index
O003-T118ruang ambien
ambient space
Status: approved · Larger space used to distinguish ambient convergence from convergence inside a subspace
O003-T119barisan terbatas
bounded sequence
Status: approved · A sequence whose range is a bounded subset
O003-T120limit barisan
limit of a sequence
Status: approved · Use consistently rather than batas barisan
O003-T121konvergensi
convergence
Status: approved · Kekonvergenan is an attested Indonesian alias; retain konvergensi as the edition's concise nominal house term
O003-T122himpunan tertutup
closed set
Status: approved · Keep distinct from tutupan of a set
O003-T123kekompakan
compactness
Status: approved · Property corresponding to a compact space
O003-T124ruang kompak
compact space
Status: approved · Attested in the Universitas Terbuka topology overview
O003-T125topologi hasil kali
product topology
Status: approved · Attested in the inspected ITB teaching witness
O003-T126topologi seragam
uniform topology
Status: approved · Use when the topology is induced by a uniform metric or uniform structure
O003-T127subbasis
subbasis
Status: approved · Standard Indonesian mathematical loanword
O003-T128titik batas
boundary point
Status: approved · Attested in official Indonesian university mathematics curricula; keep distinct from limit barisan
O003-T129titik limit (sinonim: titik akumulasi)
limit point; accumulation point
Status: approved · The GVSU metric-space chapter explicitly uses the two source terms synonymously; titik limit is the attested canonical form and titik akumulasi is retained only where the source itself presents the synonym pair
O003-T130titik terasing
isolated point
Status: approved · Attested alongside titik limit and titik batas in the official UGM mathematics curriculum
O003-T131batas suatu himpunan
boundary of a set
Status: approved · The set of all boundary points; keep distinct from limit barisan and topological tutupan
O003-T132subruang; subruang metrik
subspace; metric subspace
Status: approved · Use subruang dari ruang metrik when the ambient space must be explicit
O003-T133ruang metrik hasil kali
product metric space
Status: approved · Align with hasil kali Kartesius and topologi hasil kali; avoid the unnecessary loanword produk
O003-T134metrik hasil kali
product metric
Status: approved · Keep distinct from topologi hasil kali
O003-T135ruang koordinat
coordinate space
Status: approved · A factor in a finite metric product
O003-T136ruang faktor
factor space
Status: approved · Use only in the product context here; do not use it for a quotient space
O003-T137ruang Hilbert
Hilbert space
Status: approved · Standard named-space form
O003-T138norma
norm
Status: approved · The square-sum norm on the displayed sequence space
O003-T139barisan tak menurun
non-decreasing sequence
Status: approved · Equality is allowed; do not strengthen to a strictly increasing sequence
O003-T140pembenaman; tertanam
embedding; embedded
Status: approved · In prose use ditanamkan sebagai subruang
O003-T141basis untuk topologi
basis for a topology
Status: approved · Use basis as the established Indonesian mathematical term; specify untuk topologi at first definition
O003-T142himpunan terbuka
open set
Status: approved · Core topology term; do not shorten to terbuka when the noun is needed
O003-T143topologi indiskret
indiscrete topology
Status: approved · Preferred Indonesian rendering alongside topologi diskret
O003-T144topologi komplemen berhingga; topologi kofinit
finite complement topology; cofinite topology
Status: approved · Use topologi komplemen berhingga in exposition and retain kofinit as the standard synonym
O003-T145termetriskan
metrizable
Status: approved · Use for a topological space realizable by a metric
O003-T146ruang Golomb
Golomb space
Status: approved · Named space; retain Golomb unchanged
O003-T147topologi lebih kasar; topologi lebih lemah
coarser topology; weaker topology
Status: approved · Order terminology for inclusion of topologies
O003-T148topologi lebih halus; topologi lebih kuat
finer topology; stronger topology
Status: approved · Order terminology dual to coarser/weaker
O003-T149topologi garis digital
digital line topology
Status: approved · Use garis digital for the associated one-dimensional pixel model
O003-T150topologi titik tertentu
particular point topology
Status: approved · Standard descriptive Indonesian rendering
O003-T151topologi titik yang dikecualikan
excluded point topology
Status: approved · Keep distinct from particular point topology
O003-T152topologi Zariski
Zariski topology
Status: approved · Named topology; retain Zariski unchanged
O003-T153himpunan tertutup dalam ruang topologi
closed set in a topological space
Status: approved · Extends the established metric-space term without implying metrizability
O003-T154ruang Hausdorff
Hausdorff space
Status: approved · Standard proper-name form; retain Hausdorff unchanged
O003-T155aksioma separasi
separation axiom
Status: approved · Official Indonesian topology teaching and journal sources use aksioma separasi; use with unchanged symbols T_1 through T_4
O003-T156topologi trivial
trivial topology
Status: approved · Retain as the explicit synonym paired with topologi indiskret
O003-T157himpunan beranggota tunggal
singleton set
Status: approved · Use the natural descriptive Indonesian form in reader prose
O003-T158himpunan buka-tutup
clopen set
Status: approved · Introduce the transparent Indonesian form and retain clopen once as the source's closed-open portmanteau
O003-T159himpunan turunan
derived set
Status: approved · Use for the set A' of all limit points of A; keep distinct from closure
O003-T160ruang reguler
regular space
Status: approved · Official UGM topology curriculum uses ruang reguler; record regular as an encountered spelling variant only
O003-T161ruang normal
normal space
Status: approved · Official Indonesian topology teaching and journal sources use ruang normal
O003-T162ruang Fréchet
Fréchet space
Status: approved · Retain the proper name and diacritic in reader prose and index terms
O003-T163topologi K
K-topology
Status: approved · Use Indonesian head-first order and retain the mathematical symbol K
O003-T164bidang Niemytzki
Niemytzki plane
Status: approved · Retain the proper name and translate the geometric noun
O003-T165topologi Titik Asal Ganda
Double Origin topology
Status: approved · Use a transparent Indonesian name while preserving the two distinguished origins in the definition
O003-T166homeomorfisme
homeomorphism
Status: approved · Standard Indonesian mathematical loanword for a bicontinuous bijection; UNDIP Ruang Topologi Fuzzy attests homeomorphisma as a variant but does not justify corpus-wide replacement
O003-T167homeomorfik
homeomorphic
Status: approved · Adjectival form paired consistently with homeomorfisme
O003-T168ekuivalensi metrik
metric equivalence
Status: approved · Use for equivalence induced by an isometry and keep distinct from topological equivalence
O003-T169ekuivalensi topologis
topological equivalence
Status: approved · Use for equivalence induced by a homeomorphism
O003-T170invarian topologis
topological invariant
Status: approved · Property preserved under homeomorphism
O003-T171pemetaan terbuka
open map; open function
Status: approved · Use pemetaan as the natural mathematical noun while retaining the source's function concept
O003-T172pemetaan tertutup
closed map; closed function
Status: approved · Parallel term to pemetaan terbuka
O003-T173ekuivalen secara metrik
metrically equivalent
Status: approved · Adjectival form paired with ekuivalensi metrik
O003-T174isometri
isometry
Status: approved · Standard Indonesian mathematical loanword for the book's bijective distance-preserving map convention
O003-T175ekuivalen secara topologis
topologically equivalent
Status: approved · Adjectival form paired with ekuivalensi topologis
O003-T176pemetaan identitas
identity mapping
Status: approved · Standard term for the map sending every point to itself
O003-T177himpunan dasar
underlying set
Status: approved · Use for the common carrier set beneath one or more structures
O003-T178deformasi
deformation
Status: approved · Use only in the informal topological sense and do not imply differentiable smoothness
O003-T179relasi
relation
Status: approved · Standard Indonesian term for a subset of a Cartesian square
O003-T180berelasi dengan
related to
Status: approved · Use for the notation a ~ b and distinguish it from equality
O003-T181refleksif
reflexive
Status: approved · Standard property of a relation
O003-T182simetris
symmetric
Status: approved · Standard property of a relation
O003-T183transitif
transitive
Status: approved · Standard property of a relation
O003-T184relasi ekuivalensi
equivalence relation
Status: approved · Stable term for reflexive symmetric transitive relation
O003-T185kelas ekuivalensi
equivalence class
Status: approved · Use for the blocks in the partition induced by an equivalence relation
O003-T186gabungan saling lepas
disjoint union
Status: approved · Use for a union of pairwise disjoint subsets
O003-T187relasi kesamaan
equals relation
Status: approved · Use for the equality relation on the integers example
O003-T188kelas homeomorfisme
homeomorphism class
Status: approved · Use for equivalence classes under homeomorphism
O003-T189invarian topologis
topological invariant
Status: approved · Stable noun for a property preserved by homeomorphism
O003-T190sifat topologis
topological property
Status: approved · Parallel reader term for an invariant property
O003-T191topologi indiskret
indiscrete topology
Status: approved · Standard Indonesian topology term
O003-T192topologi diskret
discrete topology
Status: approved · Standard Indonesian topology term
O003-T193topologi komplemen berhingga
finite complement topology
Status: approved · Normalized to the earlier controlling O003-T145 term; topologi kofinit remains an accepted synonym
O003-T194subruang
subspace
Status: approved · Standard Indonesian topology term; preserve the source convention that a subspace is nonempty
O003-T195topologi subruang
subspace topology
Status: approved · Topology inherited by a subset from the ambient topological space
O003-T196terbuka relatif
relatively open
Status: approved · On first use state the ambient subset explicitly as terbuka relatif terhadap A
O003-T197tertutup relatif
relatively closed
Status: approved · On first use state the ambient subset explicitly as tertutup relatif terhadap A
O003-T198topologi relatif
relative topology
Status: approved · Synonym for topologi subruang when the source uses relative topology; directly attested in the UNDIP Ruang Topologi Fuzzy synopsis
O003-T199topologi terinduksi
induced topology
Status: approved · Use when the source emphasizes that the ambient topology induces the subspace topology
O003-T200basis untuk subruang
basis for a subspace
Status: approved · Preserve basis macro and intersection formulas
O003-T201pembatasan metrik atau fungsi
restriction of a metric or function
Status: approved · Use pembatasan for a map or metric restricted to a subset
O003-T202subhimpunan tak kosong
nonempty subset
Status: approved · Stable formulation for the upstream chapter's explicit nonempty-subspace convention
O003-T203ruang kuosien
quotient space
Status: approved · Standard topology term; do not conflate with ruang faktor in the product-space context
O003-T204kuosien atau hasil bagi
quotient
Status: approved · Use hasil bagi for elementary arithmetic and kuosien for the topological construction
O003-T205kongruensi modulo n
congruence modulo n
Status: approved · Standard number-theoretic formulation; modulo corrects the upstream typo module
O003-T206mengidentifikasi titik
identify points
Status: approved · Use for declaring points equivalent in a quotient construction
O003-T207merekatkan titik atau sisi
glue points or edges
Status: approved · Geometric reader term for quotient identification
O003-T208topologi kuosien
quotient topology
Status: approved · Topology placed on the quotient codomain by the inverse-image criterion
O003-T209penciutan atau menciutkan
collapse or collapsing
Status: approved · Use the noun or verb according to grammar when quotient identification contracts a subspace
O003-T210pemetaan kuosien
quotient map
Status: approved · Surjective map characterized by openness of inverse images; use pemetaan consistently with open and closed maps
O003-T211ruang identifikasi
identification space
Status: approved · Synonym emphasizing the equivalence-class construction of a quotient space
O003-T212fungsi lantai
floor function
Status: approved · Standard term for the greatest-integer function represented by floor brackets
O003-T213pita Möbius
Möbius strip
Status: approved · Standard Indonesian name; retain the proper name with diaeresis
O003-T214torus
torus
Status: approved · Standard topology term for the pairwise same-direction quotient of opposite square edges
O003-T215botol Klein
Klein bottle
Status: approved · Standard Indonesian name for the nonorientable quotient surface
O003-T216persegi satuan
unit square
Status: approved · The Cartesian product of the closed unit interval with itself
O003-T217proyeksi kuosien kanonis
canonical quotient projection
Status: approved · Use for the distinguished map sending each point to its equivalence class
O003-T218terdefinisi dengan baik
well-defined
Status: approved · Use when a formula on equivalence classes is independent of the representative
O003-T219menghormati relasi ekuivalensi
respects an equivalence relation
Status: approved · A function has equal values on equivalent points and therefore descends to the quotient
O003-T220busur terbuka
open arc
Status: approved · Use for a basic open connected proper subset of the circle
O003-T221himpunan terbuka basis
basic open set
Status: approved · Reader term for a member of a chosen basis
O003-T222permukaan bola
sphere
Status: approved · Use for the topological sphere and distinguish it from a metric open or closed ball
O003-T223cakram satuan
unit disk
Status: approved · Qualify as cakram satuan tertutup or terbuka when the defining inequality requires it; do not use lingkaran
O003-T224titik-titik berseberangan secara diametral; titik-titik antipodal
diametrically opposite points; antipodal points
Status: approved · Introduce both once and thereafter prefer titik antipodal
O003-T225bidang proyektif real
real projective plane
Status: approved · Align real with the edition's bilangan real usage
O003-T226titik di tak hingga
point at infinity
Status: approved · Preferred natural phrase for an adjoined ideal point
O003-T227hemisfer
hemisphere
Status: approved · At first use optionally gloss as belahan permukaan bola to avoid confusion with a solid half-ball
O003-T228ekuator
equator
Status: approved · Boundary circle shared by the two hemispheres
O003-T229tak dapat diorientasikan
nonorientable
Status: approved · Semantically stronger and safer than tak terorientasi because the latter can merely mean no orientation was chosen
O003-T230jumlah terhubung
connected sum
Status: approved · Use for the surface operation; do not translate as ordinary union
O003-T231permukaan tertutup
closed surface
Status: approved · Closed means compact without boundary in the classification context
O003-T232klasifikasi permukaan tertutup
classification of closed surfaces
Status: approved · Use Teorema Klasifikasi Permukaan Tertutup when naming the theorem
O003-T233retrak
retract
Status: approved · A subspace A that is the image fixed pointwise by a retraction
O003-T234retraksi
retraction
Status: approved · The map r:X to A satisfying its restriction to A equals the identity
O003-T235retrak deformasi
deformation retract
Status: approved · Use A adalah retrak deformasi dari X
O003-T236retraksi deformasi
deformation retraction
Status: approved · Use for the deformation or homotopy realizing a deformation retract
O003-T237merekatkan sepanjang batas
attach or adjoin along the boundary
Status: approved · In a sentence use direkatkan sepanjang batasnya; for adjoin use menambahkan dengan merekatkannya sepanjang batas
O003-T238ruang dua titik
two-point space
Status: approved · Transparent finite-space term
O003-T239topologi terbesar
largest topology
Status: approved · Means largest under inclusion; topologi paling halus is an equivalent explanatory gloss
O003-T240selimut
cover
Status: approved · Use for a family of sets whose union contains the target set; distinct from topological closure or tutupan
O003-T241selimut buka
open cover
Status: approved · Attested in the Universitas Terbuka Pengantar Topologi course overview
O003-T242subselimut
subcover
Status: approved · A subfamily that remains a cover; formed transparently from the attested selimut term
O003-T243subselimut berhingga
finite subcover
Status: approved · A finite subfamily that remains a cover
O003-T244subhimpunan kompak
compact subset
Status: approved · Use for a subset compact in the ambient or subspace context as specified
O003-T245subhimpunan terbatas
bounded subset
Status: approved · Use in Euclidean and metric-space boundedness statements
O003-T246kubus standar berdimensi n
standard n-dimensional cube
Status: approved · Keep n as protected mathematics when it is displayed
O003-T247Teorema Heine-Borel
Heine-Borel theorem
Status: approved · Retain the conventional theorem name
O003-T248sifat irisan berhingga
finite intersection property
Status: approved · Standard compactness-equivalent property for families of closed sets
O003-T249kompak lokal
locally compact
Status: approved · Use as a predicate for a topological space
O003-T250jarak Hausdorff
Hausdorff distance
Status: approved · Use for the symmetric distance between nonempty compact subsets
O003-T251metrik Hausdorff
Hausdorff metric
Status: approved · Use when the Hausdorff distance is treated as a metric
O003-T252sistem fungsi teriterasi
iterated function system
Status: approved · Use for the contraction-based fractal construction
O003-T253atraktor
attractor
Status: approved · Use for the limiting invariant compact set of an iterated function system
O003-T254pemetaan kontraksi
contraction mapping
Status: approved · Use for a map with contraction factor below one
O003-T255faktor kontraksi
contraction factor
Status: approved · Express the scale ratio directly such as one half
O003-T256barisan Cauchy
Cauchy sequence
Status: approved · Retain the mathematician name and Indonesian sequence term
O003-T257ruang metrik lengkap
complete metric space
Status: approved · A metric space in which every Cauchy sequence converges
O003-T258fraktal
fractal
Status: approved · Established Indonesian mathematical spelling
O003-T259segitiga Sierpinski
Sierpinski triangle
Status: approved · Retain the conventional proper name without diacritic normalization
O003-T260topologi kotak
box topology
Status: approved · Use for the topology generated by products of open factor sets in the finite-product setting
O003-T400peta proyeksi
projection map
Status: approved · Use for the canonical map from a product to one factor
O003-T401bidang digital
digital plane
Status: approved · Use for the integer lattice viewed with a digital topology
O003-T402tetangga-4
4-neighbor
Status: approved · Use the numeral after the noun consistently in prose
O003-T403tetangga-8
8-neighbor
Status: approved · Use the numeral after the noun consistently in prose
O003-T404lintasan-k
k-path
Status: approved · Use the parameter after the path noun and retain k as mathematics when marked up
O003-T405terhubung-k
k-connected
Status: approved · Use the parameter after the connectedness adjective and retain k as mathematics when marked up
O003-T406kurva Jordan digital
digital Jordan curve
Status: approved · Retain the proper name Jordan and place digital after the noun phrase
O003-T407topologi Khalimsky
Khalimsky topology
Status: approved · Retain the proper name Khalimsky
O003-T408interval digital
digital interval
Status: approved · Use for an integer interval equipped with the digital-line topology
O003-T409lintasan digital
digital path
Status: approved · Use for the range of a continuous function from a digital interval
O003-T410busur digital
digital arc
Status: approved · Use for the range of a homeomorphism from a digital interval
O003-T411titik murni
pure point
Status: approved · Use for a lattice point whose coordinates have the same parity
O003-T412titik campuran
mixed point
Status: approved · Use for a lattice point whose coordinates have different parity
O003-T413aksioma keterhitungan pertama
first-countability axiom
Status: approved · Primary Indonesian topology-journal usage; distinguish the axiom noun phrase from the predicate for a space
O003-T500ruang terhitung pertama
first-countable space
Status: approved · Primary Indonesian topology-journal usage; use terhitung rather than the earlier unsubstantiated berketerhitungan form
O003-T501aksioma keterhitungan kedua
second-countability axiom
Status: approved · Parallel transparent form for the axiom that the topology has a countable basis
O003-T502ruang terhitung kedua
second-countable space
Status: approved · Predicate form parallel to attested ruang terhitung pertama
O003-T503jaring
net
Status: approved · Use the Indonesian mathematical noun throughout reader-visible prose; retain locale-neutral IDs and source locators
O003-T504subjaring
subnet
Status: approved · Derived consistently from jaring and used for Kelley subnets
O003-T505himpunan terarah
directed set
Status: approved · Index set for a net with the direction relation made explicit
O003-T506titik gugus
cluster point
Status: approved · Use for a point at which a net is frequently eventually-near; distinguish from limit point when context matters
O003-T507praurutan spesialisasi
specialization preorder
Status: approved · Use for x less than or equal to y when every open neighborhood of x contains y
O003-T508kuosien Kolmogorov
Kolmogorov quotient
Status: approved · Retain the proper name and established kuosien spelling
O003-T509reguler lengkap
completely regular
Status: approved · Use with the explicit point-versus-closed-set function-separation definition
O003-T510topologi kompak-terbuka
compact-open topology
Status: approved · Use for the topology on C(X
O003-T511kompaktifikasi satu titik
one-point compactification
Status: approved · Use for the Alexandroff compactification of a noncompact locally compact Hausdorff space
O003-T512pseudometrik
pseudometric
Status: approved · Use when distinct points may have distance zero
O003-T513metrisasi
metrization
Status: approved · Use for construction or existence of a metric inducing the given topology
O003-T514ekukontinu
equicontinuous
Status: approved · Use for a function family sharing the required local continuity control
O003-T515kekonvergenan titik demi titik
pointwise convergence
Status: approved · Use for convergence in the product topology on a function space
O003-T516topologi seragam
uniform topology
Status: approved · Use only when the codomain carries a metric or uniform structure
O003-T517ruang fungsi
function space
Status: approved · Use for a set of functions equipped with a specified topology
O003-T518ruang Lindelöf
Lindelof space
Status: approved · Retain the proper-name diacritic and state the countable-subcover property
O003-T519ruang separabel
separable space
Status: approved · Use for a space with a countable dense subset
O003-T520dwikontinu
bicontinuous
Status: approved · Official UNDIP Buku Ajar Topologi synopsis attests dwikontinu; use only when both a map and its inverse are continuous
O003-T521korespondensi satu-satu
one-to-one correspondence
Status: approved · Attested in the indexed opening learning outcome for official UT Pengantar Topologi Module 1 and already used naturally in the edition
O003-T522urutan parsial
partial order
Status: approved · Use for a reflexive antisymmetric transitive order relation
O003-T523himpunan terurut parsial
partially ordered set
Status: approved · Attested in the indexed opening learning outcome for official UT Pengantar Topologi Module 1
O003-T524