spotedVehics(A,B):=\bigcup_{a\in vehics(A),b\in vehics(B)} \{b|isRecedBy(a,b)\}
Embed the image to your blog in HTML, Markdown, Textile, BBCode.