Small Structure Lab

Draw a finite structure with a binary relation R and a unary predicate P. A small fixed set of formulas updates live as you edit.