Around Penrose's singularity theorem
-trapped surface and loosely trapped surface-