Definiendo además el antisimetrizador como