Transitive closures of relations follow the well-known syntax of regular expressions where patterns to be repeated are enclosed in parentheses with a quantifier appended. The possible quantifiers are:

• +
• *
• ?
• {n}
• {n,m}
• {n,}