Define cubical sets (doc)