Graph property
= Graph property
A <graph> property is a class of finite <graphs> closed under isomorphism. Its labelled order-$n$ slice consists of members on <vertex> set $[n]$. Closure under taking arbitrary subgraphs and closure under taking only induced subgraphs lead respectively to <subgraph-closed graph properties> and <hereditary graph properties>.