I denne videoen tar vi en kjapp gjennomgang av den formelle definisjonen av snittet mellom to mengder, og fører deretter et bevis for at snittet mellom A og B er en delmengde av A.

Dette er et typisk eksempel på hvordan mange av bevisene i mengdelæren ser ut.