The term closedunder tests whether a set is closed under a function.

Definition of closedunder

At this point I proved only the basic defining properties of closedunder.

Basic defining properties of closedunder

up show outline