Partial model that can be used to check whether its inputs satisfy a certain condition such as equality within a prescribed threshold.