HYPEREXTENSIONS

Definition of HYPEREXTENSIONS