definition group {
    relation member: user | group#member
}

I am taking this from the example of sub relation. How are the group has to be related to here ? is it recursive in nature?