Boş olmayan bir küme ile bu küme üzerinde tanımlı bir veya daha çok işlemin oluşturduğu sisteme matematik sistem denir.