
Tam sayılar, sayılar kümesinde yer alan sıfır (0), pozitif yönde yer alan doğal sayılar ve bunların negatif değerlerinden oluşan negatif sayılardan oluşan sayı kümesidir.

Doğal sayılar,
şeklinde sıralanan tam sayılardır ve kimi tanımlamalara göre 0 sayısı da bu kümeye dâhil edilebilir. Aralarında standart ISO 80000-2'nin de bulunduğu bazı tanımlar doğal sayıları 0 ile başlatır ve bu durum negatif olmayan tam sayılar için 0, 1, 2, 3, ... şeklinde bir karşılık bulurken, bazı tanımlamalar 1 ile başlamakta ve bu da pozitif tam sayılar için 1, 2, 3, ... şeklinde bir eşlenik oluşturur. Doğal sayıları sıfır olmadan ele alan metinlerde, sıfırın da dahil edildiği doğal sayılar bazen tam sayılar olarak adlandırılırken diğer bazı metinlerde bu terim, negatif tam sayılar da dahil olmak üzere tam sayılar için kullanılmaktadır. Özellikle ilkokul seviyesindeki eğitimde, doğal sayılar, negatif tam sayıları ve sıfırı dışlamak ve saymanın ayrık yapısını, gerçek sayıların bir karakteristiği olan ölçümün sürekliliğiyle karşıtlık oluşturmak amacıyla sayma sayıları olarak adlandırılabilir.
2 (iki) bir sayı, rakam ve gliftir. 1'den sonraki ve 3'ten önceki doğal sayıdır. En küçük ve hatta yegâne çift asal sayıdır. Bir dualitenin temelini oluşturduğundan, birçok kültürde dini ve manevi öneme sahiptir.

Soyut cebir veya soyut matematik, matematiğin bir alanı olup, cebirsel yapılar üzerinde çalışır. Cebirsel yapılar, elemanları üzerinde belirli işlemlerin uygulandığı kümelerdir ve gruplar, halkalar, alanlar, modüller, vektör uzayları, kafesler ve alan üzerindeki cebirler içerir. Soyut cebir terimi, 20. yüzyılın başlarında temel cebirden ayırmak amacıyla türetilmiştir. Soyut cebir ileri matematik için temel hale geldikçe basitçe "cebir" olarak adlandırılırken, "soyut cebir" terimi pedagoji dışında nadiren kullanılır.
Matematikte iki kümenin kartezyen çarpımının herhangi bir alt kümesi bağıntı olarak tanımlanır. Bir kümedeki bir öğeyi başka bir kümedeki bir öğeye götürür. Yâni iki öğe arasında bir bağ kurar. Örneğin, göndermeler tek yönlü bir bağıntıdır.

Halka, matematikte cebirin temel yapılarından biridir ve soyut cebirde tam sayıların soyutlamasıdır. Bu yapıyı işleyen dala halka kuramı denir. Halkalar diğer bir temel yapı olan grupların üzerine inşa edilir. Her halka, aynı zamanda değişmeli bir gruptur, ama bir halkadan daha fazla özelliği sağlaması istenir. Örneğin halkada grup işlemine ek olarak ikinci bir işlem daha vardır. Halkalara örnek olarak tam sayılar, modülo n sayılar, polinomlar ya da karmaşık sayılar verilebilir.
Grup ya da öbek, bir araya gelen, toplanan veya sınıflanmış bir dizi kişi veya nesnedir.
Grup, soyut cebirin en temel matematiksel yapısıdır. Grup, ayrıca bir ikili işlemin tanımlı olduğu bir kümedir. Bir grubun grup olabilmesi için aynı zamanda bu işlemin birleşmeli, birim elemanlı ve ters elemanlı olması gerekir. Soyut cebirin halka, cisim, modül gibi diğer yapılarının temelini oluşturur.
Matematikte birlik ya da monoid, birim öğesi olan bir yarı öbektir (yarıgrup).
Alman matematikçi David Hilbert'in 1871'deki bir makalesinde incelemiş olduğu hiperbolik geometri'nin Poincaré modeli için verdiği cebirsel geometrik yapı. Doğruların uçlarının oluşturduğu bir cisim ve bu cisim üzerinde tanımlı bir çarpımsal uzaklık fonksiyonu içeriyor. Öklit geometrisine ters olarak, doğruların koordinatları ve noktaların denklemleri bulunuyor.
Eğer
bir kümeyse,
kümesinden
kümesine giden bir fonksiyona
kümesi üzerine ikili işlem denir. İkili işlemi
olarak gösterirsek,
yerine genellikle
,
,
ya da daha yaygın olarak
yazmak bir gelenek halini almıştır. Burada önemli olan, her
için, işlemin sonucu olan
elemanının yine
kümesinde olmasıdır, yoksa ikili bir işlemden söz edemeyiz. Örneğin,
ise,
işlemi bu küme üzerinde ikili bir işlem değildir. Örneğin,
bir doğal sayı değildir. Öte yandan
olarak tanımlanan işlem doğal sayılar kümesi üzerine ikili bir işlemdir.
Bileşke fonksiyon, matematikte bir işlevdir.

Küme kuramında, birleşme, bir kümenin tüm ögelerinin topluluğudur ve ∪ ile sembolize edilir.

İşlem, bir işi sonuçlandırmak için gerçekleştirilen çalışmalar bütünü; muamele. Örnek: "Gerekli işlem gerçekleştirildikten sonra paranızı çekebilirsiniz".
Matematikte değişme özelliği, terimlerin sırasının değişmesiyle sonucun değişmediği ikili işlemlere özgü bir özelliktir. Birçok ikili işlemin temel bir özelliği olmasının yanı sıra, birçok matematiksel ispat da buna dayanır. En sık olarak, "3 + 4 = 4 + 3" ya da "2 × 5 = 5 × 2" gibi ifadelerin açıklanmasında rastlanılsa da, daha ileri düzey durumlarda da kullanılabilir.

Galaksi grubu (veya gökada grubu ya da gökada öbeği), kütleçekim etkisiyle birbirlerine bağlı birçok gökadadan oluşan bir topluluktur. Her biri en az Samanyolu kadar parlak olan (Güneş'in parlaklığının yaklaşık 1010 katı), yerçekimsel olarak bağlı yaklaşık 50 veya daha az üyeden oluşan bir galaksi topluluğudur. Birinci dereceden kümelenme olan gruplardan daha büyük galaksi koleksiyonlarına galaksi kümeleri denir.
Fonksiyonlar, sahip oldukları özelliklere göre sınıflandırılabilir.
Sürüm kontrol sistemi, birçok belgeden oluşan, içerikleri, sayıları ve birbirlerine olan ilişkileri sürekli değiştirilen, gene de bir arada gelişen bir bütün oluşturan belge kümesinin zaman içindeki durumlarının idaresini konu edinen yaklaşım ve bilgisayar ortamındaki belge kümelerinin bu yaklaşımla değişiklik yönetimi işlemlerini kolaylaştıran yazılıma verilen isimdir.
İlişkisel veritabanı, 1970 yılında Edgar Frank Codd tarafından önerildiği gibi, organizasyonu ilişkisel veri modeline dayanan bir dijital veritabanıdır. İlişkisel veritabanlarını korumak için kullanılan çeşitli yazılım sistemleri bir ilişkisel veritabanı yönetim sistemi (RDBMS) olarak bilinir. Neredeyse tüm ilişkisel veritabanı sistemleri, sorgulama ve veritabanının bakımı için dil olarak SQL(Structured Query Language) kullanmaktadırlar.