Dihypergraph Decomposition: Application to Closure System Representations