partial order properties on two actors