defined equiv of precats