Kategorie:Theorie der Produktordnung/Definitionen