3.7.102. Extension

A constraint that is defined by explicitly providing all its solutions.