formal co ord sets