I am doing homework
I have the following defition $-A$ = {$-y$ : $y\in A^c$}, I would like convert it to a expression like $-A$ = {$y$ : anything}
set $A$ is a dedekind cut
I am doing homework
I have the following defition $-A$ = {$-y$ : $y\in A^c$}, I would like convert it to a expression like $-A$ = {$y$ : anything}
set $A$ is a dedekind cut
Multiplication by $-1$ is invertible, so you have $-A = \{ y : -y \in A^c \}$.