Extending relational definitions