객체 지향 프로그래밍(OOP)의 4대 특성은 무엇인가요?

캡슐화, 상속, 추상화, 다형성의 개념과 이를 활용한 예제를 설명해주세요.