-2
$\begingroup$

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

  • 0
    Well, $-A =\{y: -y \in A^c\}$.....2017-01-26
  • 0
    Actually isn't the definition supposes to be $-A = \{-y|y \in A\}$ (not $A^c$). Then you want $-A = \{y|-y \in A\}$2017-01-26
  • 0
    Thank you very much, A is a dedekind cut2017-01-26

1 Answers 1

0

Multiplication by $-1$ is invertible, so you have $-A = \{ y : -y \in A^c \}$.