Connectedness, refleivity, and consistency for preds defined by partial definientia.

Involutiveness for functions defined by partial definientia.