[GAP Forum] Implementing automatic inheritance of features

[Johannes Hahn]

Hi everyone.

Is there a mechanism in GAP that allows one to declare that certain new 
features are inherited by associated objects in a certain way? As an 
example: Let's say I want to implement a category for ordered groups. Is 
there a way to tell GAP that subgroups of a ordered group are also 
ordered with the same ordering?

greetings
Johannes Hahn.