(Read-only view - Sponging disallowed)

The class of inverse-functional properties.