writing up basic definition of simplicial complex