इन तंत्रों में अवयवों के संयोजन (combination) सम्बन्धी अलग अलग नियम होते हैं, जिनसे अन्य अवयव बनते हैं। चूँकि इन तंत्रों के अध्ययन में इस बात की विशेष महत्ता नहीं होती कि अवयव वास्तव में क्या हैं, बल्कि उनमें नियमों की प्राथमिकता होती है। इसलिए इन तंत्रों को अमूर्त बीजगणित (abstract algebra) की संज्ञा दी गई है। अमूर्त तंत्रों के कुछ उदाहरण देने के लिए किसी संक्रियाँ * के प्रति निम्न संकल्पनाएँ आवयक हैं -