PropertySubset: subset checking fixed (same Property)