Closures:
Predefined relations: