reduction function

Reduction of Knowledge Structures