Tolong jelaskan mengenai Definisi formal dari Limit langsung

Pertama kami akan memberikan definisi untuk struktur aljabar seperti grup dan modul, dan kemudian definisi umumnya, yang bisa digunakan dalam setiap kategori