option?? no es un radio???.. como sea, si es elemento de un formualrio, hazlo como lo haria con cualquier otro:
Código PHP:
if(isset($_POST['option'])) echo "marcado";
// donde 'option' será el name de tu ... option?
... si con option te refieres a un radio (circulito clickeable), solo dale un valor por default y.. siempre estará marcado.. vaya! un radio es usado para marcar una, SOLO UNA Y AL MENOS UNA opción de entre un grupo...
Saludos!
