subpropertyofequality