From Wikipedia, the free encyclopedia

Definition

External formal definitions