theorem :: SURREALR:17

for X being surreal-membered set holds card X = card (-- X)