최종 연산은 반환 cardinality와 종료 조건으로 고른다

값 하나를 기대하는데 collection terminal을 쓰거나 빈 source를 고려하지 않으면 계약이 흐려집니다.

terminal결과 수특성
toList0..N전체 소비
findFirst0..1 Optionalshort-circuit
count정확히 1 long축약
reduce(identity)정확히 1identity 필요
min/max0..1 Optional비교 기준

핵심: 0개·1개·여러 개 결과와 short-circuit 여부를 함께 봅니다.